That's ... actually pretty good! I'm usually quite frustrated by those, but this one is not so terrible. Some remarks: - Coq is not an ML at all, it's simply

That's ... actually pretty good! I'm usually quite frustrated by those, but this one is not so terrible. Some remarks: - Coq is not an ML at all, it's simply implemented in OCaml and has a vaguely similar syntax. I think dependently typed languages should have their own category, as they have a rich history (coming from type theory, obviously). - Elm is almost certainly more an ML than an Haskell. The only link with Haskell is really the syntax. - Speaking of Elm, you might want to add something on synchronous languages (You can start by looking up Lustre). - ML languages with modules, and especially OCaml, took pretty direct inspiration from Modula 2's modules. - Curry is half Haskell and half Prolog.