You might find this project interesting OP[1]. The aim is to create a self-hosting CIL JIT&#x2F;AOT for the purposes of an operating system. Ultimately you&#x27;d have an OS written in 100% C#.It has got a good few years of history and a lone brave contributor who I&#x27;m sure would welcome some help with open arms.[1]: <a href="https:&#x2F;&#x2F;github.com&#x2F;mosa&#x2F;MOSA-Project" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;mosa&#x2F;MOSA-Project</a>

Rust isn&#x27;t very FP, even if working with a borrow checker limits sharing, thus approaching the problem from a different angle, but with similar results as referential transparency.And TypeScript doesn&#x27;t have much in common with OCaml.F# is similar with OCaml, yes, but it&#x27;s missing some OCaml features such as functors and row polymorphism. It also uses .NET&#x27;s OOP and introduces a couple of nice features of its own like type providers.It&#x27;s a cool language, especially if you want to target .NET

If you want to use F# to build GUIs, you should definitely check out Fabolous [1]. It uses Xamarin.Forms to render the widgets, and you get to write the application logic using the Elm architecture.[1] <a href="https:&#x2F;&#x2F;github.com&#x2F;fsprojects&#x2F;Fabulous" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;fsprojects&#x2F;Fabulous</a>

F# is 85% OCaml. IDE is probably better though. Also you get all the .NET libraries.

Actually, for UI stuff you might want to just do C#. UI designers work better there.

If all you are wanting to do is make desktop gui stuff for your family C# + Winforms is super easy to pick up.

It might be better to try C# first, if only because tooling as better, especially once you get to UI.And C# has accumulated quite a few features that are traditionally considered &quot;functional&quot;. For example, pattern matching:
<a href="https:&#x2F;&#x2F;docs.microsoft.com&#x2F;en-us&#x2F;dotnet&#x2F;csharp&#x2F;whats-new&#x2F;csharp-8#more-patterns-in-more-places" rel="nofollow">https:&#x2F;&#x2F;docs.microsoft.com&#x2F;en-us&#x2F;dotnet&#x2F;csharp&#x2F;whats-new&#x2F;csh...</a>

I&#x27;ve been wanting to make some .NET apps for our family&#x27;s use (like a timer etc.) but don&#x27;t know C# so I figured maybe I should just start off learning F# since I have a FP background. So is F# pretty much Rust but with GC? Or is it more like TypeScript -- in the sense that it&#x27;s based on OCaml which maps nicely to JS (i.e. ReasonML) -- but also with sum types?

I thought about doing something similar in university. But I used LLVM as the compiler backend: <a href="https:&#x2F;&#x2F;github.com&#x2F;lostmsu&#x2F;CodeBlock" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;lostmsu&#x2F;CodeBlock</a>Written in F# of course.

Right but converting a big application to .NET Core is hard. Is this project not sort of an emulator to allow a legacy .NET Windows app to run on .NET Core? I had better read TFA better.

In case you weren’t yet aware, .NET Core runtime can be containerized on Linux. .NET Framework is the (mostly) Windows dependent runtime. Mono is the open &#x2F; Microsoft supported translation of .NET Framework to Linux.

This is just the .Net runtime most application will probably depend on the .net framework libraries so not really.

I assume the author really means &quot;run in a Linux context, without Windows&quot;. Otherwise, if you really just want to containerize and don&#x27;t mind running an instance of Windows, you could use a Windows container.

&quot;containerize&quot; is a very loaded&#x2F;subjective term. In my experience, the best container-like boundary for .NET Core applications would be the process itself. AppDomains and related fanfare don&#x27;t really exist anymore, and the process is the only common abstraction across all platforms that shares most of the same principles. It&#x27;s always been the best grain to go along IMO.

If I read TFA correctly: Maybe in a couple of years, if a 100 devs jump on the project. The author is currently in the &quot;Proof-of-concept&quot; stage. Nevertheless an interesting project and write-up. Probably to late to run old legacy .Net Apps that -unfortunately- you &quot;inherited&quot; without source-code.

Lots of Linux images available @ <a href="https:&#x2F;&#x2F;hub.docker.com&#x2F;_&#x2F;microsoft-dotnet-core-aspnet&#x2F;" rel="nofollow">https:&#x2F;&#x2F;hub.docker.com&#x2F;_&#x2F;microsoft-dotnet-core-aspnet&#x2F;</a>

The big question, for me at least, is can this be used to containerize a .NET application without having to package a full Windows OS into the container?

Definitely useful for research. &quot;What if the .NET CLR could do X&quot; can be answered more quickly with code like this. I wonder if this could support something like runtime macros. Maybe you can do that anyway using Roslyn.

They say it has a JIT, a just-in-time translator. Not an interpreter. Wine also has a translator that translates Windows application&#x27;s calls to Win32 into calls to Linux API.The comparison with Wine is not totally incorrect.

No, it&#x27;s an interpreter for CIL. Wine is mostly an implementation of the Windows API, not an interpreter or emulator of any kind.

... so it&#x27;s like running Wine on Windows NT 4.0?

Mobius – .NET runtime running on .NET Core