Einar Høst

Practical Lambda Calculus

Practical Lambda Calculus

Jonas and Einar explore the roots of computation by means of a Socratic dialogue about the Lambda Calculus. Armed with nothing more than functional abstraction and function application, Jonas will build up the basics of a programming language in order to answer Einar's naïve questions about calculations, abstractions and programming in general. The explanations will be backed by live-coding in Jonas' home-brewed hipsterware that does tricks on lambda expressions. We will demonstrate that in a land where abstractions are always dissolving before our very eyes, seeing is believing and believing is seeing. Simple things can be viewed in many ways and mean many things, yet they all return to the fold in the end.

About Einar

Einar W. Høst is a sleep-deprived developer and technical architect at Computas. In his spare time, he writes an obscure technical blog, enjoys pixel art and indulges in impractical coding projects aimed at having fun with the djinns of the computer. He holds a PhD in Computer Science from the University of Oslo and thinks ivory towers are beautiful.

Github: einarwh

Twitter: @einarwh

Back to conference page