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