evan_tech

Previous Entry Share Next Entry
01:18 pm, 3 Dec 03

Oh, and those type inference papers were from this long and informative post about why it's hard to track down type errors with type-inferring systems. (This is definitely the case for me when I use OCaml.)