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!

Co-Speakers