Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

...and is a slow compiler compared to for example Go :-(


OCaml has separate compilation, a REPL, and it's very fast. None of those things is incompatible with global type inference (although particular type systems can be).


Doesn't OCaml require everything to be defined before used though?


That's a problem with Cabal, not GHC. They're working on it.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: