While Functional Programming languages, FP idioms and concepts have become commonplace in many mainstream languages. But do you know the principles behind these concepts, and what makes those principles so appealing and useful? This workshop is a hopefully fun hand-on exploration on the implementation of a simple typed λ-calculus.

Attendees will interact with a program that will guide them to implement, in any language, an increasingly complex typed λ-calculus represented as S-expressions. The presenter will help them through the experiment and clarify concepts.

• Bring a laptop running a reasonably standard OS
• You should be able to write and run programs that can read and write from/to a terminal