Haxe is the best fit for me, think of typescript with functional patterns and inferred typing. Written in ocaml and inspired by the language