Ocaml has an amazing type systems that’s been designed well from the ground up. There’s excellent pattern matching, no null/nil, immutability of values, higher-

Ocaml has an amazing type systems that’s been designed well from the ground up. There’s excellent pattern matching, no null/nil, immutability of values, higher-order functions, etc. The type systems of a lot of new languages have gotten their inspiration from OCaml. For example, the Flow type checker for JavaScript is heavily Ocaml-inspired and itself written in Ocaml. On practical grounds, there’s ReasonML: https://reasonml.github.io https://reasonml.github.io ReasonML, a dialect of Ocaml is great for web development. Especially if you use React, due to: https://reasonml.github.io/reason-react/ https://reasonml.github.io/reason-react/ ReasonML & ReasonReact are both officially supported & developed by Facebook. The creator of React is also strongly behind ReasonML. Alternatively, there’s also BuckleScript (whose compiler is shared with ReasonML), which lets you use Ocaml with its standard syntax on the web. BuckleScript is officially supported & developed by Bloomberg.