4 ms·

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

• dmbaturin 11y ago
  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).
  • seanmcdirmid 11y ago
    Doesn't OCaml require everything to be defined before used though?
• Vulume 11y ago
  That's a problem with Cabal, not GHC. They're working on it.