6 ms·Well, there's Idris which is eager fp like OCaml but looks like Haskell and has dependent typing.by throwiforgtnlzy 2y agoWell, there's Idris which is eager fp like OCaml but looks like Haskell and has dependent typing.