Jonas Winje
Biography
Jonas is a human developer at Computas. He likes dogs and animals. And programming languages. MSc in Computer Science from the University of Oslo.
Previous events
NewCrafts Paris 2017
Bringing Lambda Calculus to Life
Talk with Einar Host
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!