4 ms·
I'm not saying it's a replacement for either F# or OCaml, and I've only glanced at it, but F*[1] looks pretty neat. It's higher-level than F# (a lot) and has a
by PyroLagus 7y ago
I'm not saying it's a replacement for either F# or OCaml, and I've only glanced at it, but F*[1] looks pretty neat. It's higher-level than F# (a lot) and has a syntax more similar to Haskell's. You can even extract programs in F# and OCaml.
[1] https://www.fstar-lang.org/ https://www.fstar-lang.org/
- pavelbr 7y agoMy experience with F* is several unsuccessful hours of trying to compile hello world thanks to a complete lack of instructions for configuration and installation. I hope it's gotten better.
- new4thaccount 7y agoF* or F#? They are very different.