A question.

Can you do a lambda calculus without testin' your theory?

I quite like this idea. There aren't any good TV shows about programming but there could be a good one if you make it about a retarded, autistic kid. It shall be called The Dazzling Adventures of Lambda A. Calculus. Starring Lambda A. Calculus, a retarded Lisp and C programmer who does dazzling shit all day long. His mother, a promiscuous 50-year old Mary Calculus, conceived him after having sex with her boss who soon left her. They live together with Lambda Calculus' stepfather, Frankfart Calculus, who works as a toilet scrubber at Kodak Enterprises.