[OT] Type theory

[Farid Hajji]

[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  | farid.hajji@ob.kamp.net
- - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - -
One OS To Rule Them All And In The Darkness Bind Them... --Bill Gates.