[Sorry for OT post guys!] Hi Atle,
since you're interested in type theory, have a look at: ftp://ftp.cs.kun.nl/pub/CompMath.Found/marktoberdorf.ps.Z [The author, Henk Barendregt wrote the seminal book on Church's lambda calculus (BEWARE: _not_ of introductory level!): "The Lambda Calculus: Its Syntax and Semantics" H.P. Barendregt Studies in Logic and The Foundations of Mathematics, Vol. 103 Elsevier, ISBN 0-444-87508-5 BTW, a subtype of lambda calculus (typed lambda calculus) nicely "encaps" the notion of ADTs (among others)] Type theory has found its way in modern functional languages like ML and Haskell; to name just the most important ones. Beware, if you don't like maths, avoid this like the plague ;) BTW, it would be interesting to apply type theory to OS design, especially to the Hurd... [of course, just kidding!]. Now, back on topic. Regards, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | [EMAIL PROTECTED] - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - One OS To Rule Them All And In The Darkness Bind Them... --Bill Gates. _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd
