Вот короче до Хаскеля был ML, типизированый функциональный язык.
Потом от него отпочковались Standard ML и Caml (а потом и OCaml)
Ну а недавно челики сделали пару компиляторов OCaml в джоэс и фейсбук сделал свой язык ReasonML, который компилится в OCaml