2 ms·

F# is a somewhat simpler language than OCaml. Plus, it has decent concurrency support (which is a bit of an issue for OCaml if I recall correctly).

• mhd 16y ago
  Does F# have functor support by now? Because if that's what's meant by simpler, I'd rather have a bit of complexity. If I program in a functional, symbolic manner, I also don't want to kowtow to the runtime that just wasn't made for such an use (If I recall correctly, Yaron Minsky of Jane Street complained somewhat about F#'s allocation rate in this respect). Concurrency is an issue that I hope the Ocaml developers will address a bit more, though.
  • Dn_Ab 16y ago
    No functor support. Questionable if it would fit idiomatically with .net framework culture but not something you miss. In order of wish list to F#: - ability to create a structure isomorphic to GADTS - further enhancements to metaprogramming and how it does quasi quotation stuff - Support for Higher Kinds The above would ameliorate the need for functors too, I feel.
  • j_baker 16y ago
    I don't know that .net is necessarily not tuned for that use-case. Generally, a generational garbage collector like .net's handles short-lived immutable objects better than it does longer-lived mutable objects. It can allocate and deallocate objects very quickly as long as they're collected in the first generation. I'm speaking mostly in generalities though. I'd be curious to know if this isn't the case on .net.