[tnovelli]

> 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/msg00...)