Jonas is a human developer at Computas. He likes dogs and animals. And programming languages. MSc in Computer Science from the University of Oslo.
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!