Re:Static Typing and Functional Languages
by tnovelli on Wednesday September 02, 2009 @08:43PM
(#801488)
> 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.
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...)