Hacker News new | ask | show | jobs
by throwiforgtnlzy 793 days ago
Well, there's Idris which is eager fp like OCaml but looks like Haskell and has dependent typing.