Hacker News Reader

> but you can't have both speed and type inference. Pick one.

With OCaml you can pick two :)

But then Id have to use Ocaml. ;)

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