OCaml has separate compilation, a REPL, and it's very fast. None of those things... | Hacker News

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

		dmbaturin on June 6, 2015 \| parent \| context \| favorite \| on: Crystal Language 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 on June 7, 2015 [–]

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

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