[freilanzer]

But then Id have to use Ocaml. ;)

[throwiforgtnlzy]

Well, there's Idris which is eager fp like OCaml but looks like Haskell and has dependent typing.