3 ms·But then Id have to use Ocaml. ;)by freilanzer 3y agoBut then Id have to use Ocaml. ;)throwiforgtnlzy 3y agoWell, there's Idris which is eager fp like OCaml but looks like Haskell and has dependent typing.