[dmbaturin]

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]

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