undefined | Better HN

0 pointsvirtualwhys1y ago0 comments

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

With OCaml you can pick two :)

0 comments

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

0 pointsvirtualwhys1y ago0 comments

> 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.

j / k navigate · click thread line to collapse