Einar Høst

Einar W. Høst is an unapologetic ivory tower zealot who programs computers at NRK. His heretic views include thinking before programming and making drawings to understand things better. This arrogant mindset no doubt stems from the years spent in idle isolation while obtaining in a PhD in Computer Science from the University of Oslo.

NewCrafts 2017


Bringing Lambda Calculus to Life

  • Talk
  • Languages

You might know that the lambda calculus is the theoretical foundation for all functional programming languages - but what is it really, and how does it work? In this talk, we'll bring the theory to life! Using F# and the fparsec library, we will write a working lambda calculus interpreter from scratch. We'll even have time left to demonstrate how we can use it to do something useful, like adding numbers!