corert VS fsharp-companies

An explanation of the problem: https://github.com/dotnet/corert/blob/master/Documentation/u...

Memory was not really designed for having lots of instances of it and doing intensive computations/searches on the instances. The reason for it is that Memory.Span property is actually quite expensive to call. Memory is a union type for storing strings, arrays, and even handles to native memory. Every time you construct it , slice it, or retrieve it's span, lost of machinery related to this union has to run. For example see the source for the Memory.Span property: https://github.com/dotnet/corert/blob/master/src/System.Private.CoreLib/shared/System/Memory.cs#L285.

For earlier versions, try https://github.com/dotnet/corert

Yeah I know it's slower on its own, but I was sure it was handled as a faster intrinsic by the runtime. Went to double check and realized I was actually mixing things up with what CoreRT did (see here) but I guess it doesn't apply to CoreCLR. Would be surprised if there weren't any specific optimizations for this with .NET 6+ though, or at the very least with NativeAOT (given they've been porting some bits over from CoreRT and .NET Native too). Will need to go gather more info on this, as it's pretty interesting 🙂

> AOT compilation? I'll believe it when they'll release it, until then, it's all speculation

Devil's in the details, but there -is- AOT compilation[0]. While it hasn't been released as an official product, it has been used for a few projects including a commercial game [1]. And yes, they're looking into the next steps to make it a 'released' thing.[2]

[0] - https://github.com/dotnet/corert/

[1] - https://github.com/dotnet/corert/issues/8233#issuecomment-65...

[2] - https://github.com/dotnet/runtimelab/tree/feature/NativeAOT

That is a well known issue, also what prevented F# to be properly used in .NET Native.

https://github.com/dotnet/corert/issues/5780#issuecomment-40...

CoreRT

I've used F# across 3 companies now, only one of which actually advertised that they used F# (as opposed to .NET or C#). Two of them on this list: https://github.com/fsprojects/fsharp-companies

I’ll tell you as someone who learned programming at 12 from library books that it wouldn’t have the effect they think it does. It’s a bit shocking that someone with a professorship has such a loose grasp on things, but F# is not exactly Pyret. There are real companies with actual budgets using F# https://github.com/fsprojects/fsharp-companies

There’s a list of companies that use F# and Microsoft is one of them. Also there are testimonials from Microsoft employees and it looks like it has application in analytical/machine learning scenarios.

Here are a few: https://github.com/Kavignon/fsharp-companies

Adding your company to this list could be also some possible gain.