January 15th, 2004

  • evan

breaking ocaml

The guy next to me was learning SML for his intro to programming languages class, so I tried to impress on him how awesome and fundamentally mind-altering it was. But he hadn't encountered a functional language before so he couldn't see why type inference was so neat.

chris_one pointed me at a paper that eventually led to me producing this OCaml gem:
Collapse )