Jonas Winje

Jonas is a human developer at Computas. He likes dogs and animals. And programming languages. MSc 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!

Room: Lovelace - Time: 5/18/2017 10:45:00 AM