F#
https://raw.githubusercontent.com/fsharp/fsfoundation/gh-pages/img/logo.png
Microsoftが作っている関数型プログラミング言語
OCaml をベースにしている
魔改造によりHaskellに匹敵するとも言われる型の表現力を手に入れた
Fable というコンパイラによりJavaScriptにコンパイルすることができ、Reactとかを使うことができる
ReasonMLの対抗馬かもしれん