Presentation
Ah yes, the lambda calculus!
A tremendously expressive language, featuring powerful, high-level concepts such as abstraction! However, it is possible to eliminate such lofty concepts and strip computation down to its bare essentials. The remains can still be thought of and used as a programming language, albeit one that is somewhat more impractical than the high-level lambda calculus we are used to.
As they say, all you need to write a computer program is three symbols and the truth.
Einar W. Høst is a computer at NRK, the Norwegian public broadcaster. His heretic views include thinking before programming and making drawings to understand things better. This arrogant mindset no doubt stems from the idle years spent obtaining a PhD in Computer Science from the University of Oslo.
