undefined | Better HN

0 pointsfreilanzer2y ago0 comments

But then Id have to use Ocaml. ;)

0 comments

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

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