5 ms·
> So, suddenly it all came together for me. He seems new to this stuff. Nothing really advanced here, but he brings up a big unresolved issue in language desig
by tnovelli 17y ago
> So, suddenly it all came together for me.
He seems new to this stuff. Nothing really advanced here, but he brings up a big unresolved issue in language design in a way that probably makes sense to a Java-educated college student.
BTW, Hindley said the concept predates computers; there's been a lot of refinement before and after 1969. (http://www.cis.upenn.edu/~bcpierce/types/archives/1988/msg00042.html http://www.cis.upenn.edu/~bcpierce/types/archives/1988/msg00...)