Ocaml is ok, but coming from F# it feels just clunky enough to be noticeable, as if you’re using some early pre-release version version of F#, which in a way yu are, since F# started out as just a port of it. Adopting a light-ish syntax similar to F#’s helped, but there’s still a sense it isn’t as polished for public consumption, and the tooling is no less painful while also being almost hostile to Windows users. :(

Bucklescript-TEA was kind of nice though, getting to play with the Elm architecture but with a more flexible type system and better inference. But I found the size of the bundles and tools and the slowness in the environment I was using it in made me just go back to Elm instead. :(

As for Reason ... well ... Facebook has taken over webtech with a lot of halfassed misunderstandings of better technologies, but this one might take the cake.

I honestly find that whole project insulting, and so should you. It’s as if they’ve declared JavaScript developers to be so stupid that they physically can’t use a language with any other syntax, so they have to fuck up one to get them to use it.

I can second ocaml. Im using it more lately and really enjoying it. Of course the compiler error message leaves a lot of room for improvement. And it does take a lot of time to get used to all of the peculiar syntax.

But you get ADTs, the best modules on earth (even if the syntax is a bit old ...), GADT if you want them, object row polymorphism, polymorphic variants, streams, etc.