undefined | Better HN

0 pointsvirtualwhys2y ago0 comments

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

With OCaml you can pick two :)

0 comments

2 comments · 1 top-level

freilanzer2y ago· 1 in thread

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.

j / k navigate · click thread line to collapse