Thanks. I was not aware of this, since I've not worked on a Microsoft stack for a long time. Are those F# AOT compilers mature and support all features, including libraries? In this case F# would be a viable alternative to OCaml for Jane-Street-like tasks.

Yes, but GC is usually seen as the major .NET performance concern not AOT vs. JIT, which may be faster in some instances.