Here's an interesting link for those of you who like minimalistic languages:
http://www.uq.net.au/~zzdkeena/Lambda
It gives an easy-to-understand introduction into the theory of combinators (also called combinatory logic), which is similar to lambda calculus but doesn't use variables. I find this stuff fascinating, even if it isn't all that practical.
|