3 ms·
> but you can't have both speed and type inference. Pick one. With OCaml you can pick two :)
by virtualwhys 2y ago
> but you can't have both speed and type inference. Pick one.
With OCaml you can pick two :)
- freilanzer 2y agoBut then Id have to use Ocaml. ;)
- throwiforgtnlzy 2y agoWell, there's Idris which is eager fp like OCaml but looks like Haskell and has dependent typing.