[jahewson]

I think that's a decent analogy, to an extent. Of course there's always Reason, which is actually ML.

https://reasonml.github.io