3 ms·
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 ca
by 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 agoDoesn't OCaml require everything to be defined before used though?