[Athas]

OCaml and Standard ML are two others, and I'd say OCaml is established enough that Elm is not really breaching new ground here. The main difference is that OCaml has other features you tend to use instead, particularly the module system.

[ikfmpwdsoz]

OCaml is a very fun language in my experience. Apparently they were going to add ad-hoc polymorphism in the form of modular implicits, but I have no idea what happened to that.

[logicchains]

It's due around the time OCaml multicore support and Half Life 3 are released.

[rs86]

Can't the module system be used for ad hoc polymorphism?