The DarkLang project was originally written in OCaml and was recently ported to F# (https://blog.darklang.com/new-backend-fsharp/)

> How much work would it take in term of code rewriting?

There are definitely code changes required, but I think those are quite manageable as concepts mostly map 1:1 from OCaml to F#.

> can it compile to native code?

Yup, https://learn.microsoft.com/en-us/dotnet/core/deploying/nati...

> how good is the language support experience in vscode?

Pretty good, https://ionide.io

(but I personally prefer JetBrains Rider)

> any reason not to do it?

Compilation speed, some OCaml language features?