> Do you have any opinion of "Types and Programming Languages" by > Pierce? Autrijus Tang (the guy who started PUGS, the Perl 6 > implementation in Haskell) raves about it in an interview, and another > guy I know recommended it too, but I haven't actually looked at a copy > yet (stores I've looked in don't have it). Haskell is the language > that I guess interests me the most these days (in terms of learning > new ones), but I haven't yet attempted doing anything with it.
It's a great book - I cetainly owe it the better part of my thesis about multi level specification for functional languages. If you want to understand type-systems, its a great comprehensive read. Diez -- http://mail.python.org/mailman/listinfo/python-list
