We know that we can represent all kinds of things in lambda calculus, including sophisticated data structures such as booleans, integers, and lists, but what about the representation of the lambda calculus terms themselves? Different representations have different strengths and weaknesses. In this talk we present beep boop, a novel representation for lambda calculus terms inspired by sound. It is derived from and shares many properties with de Bruijn notation, but offers a more humane interface to calculation. For instance, it is much easier for a human to pronounce a sequence of symbols in beep boop (effectively sounds) than in traditional lambda-based representations. This opens up exciting new possibilities that we’ll explore in this talk.
Einar W. Høst is a computer at NRK, the Norwegian public broadcaster. His heretic views include thinking before programming and making drawings to understand things better. This arrogant mindset no doubt stems from the idle years spent obtaining a PhD in Computer Science from the University of Oslo.
Jonas is a developer at Computas. He likes pretty animals and programming languages, and has an MSc in Computer Science from the University of Oslo. Dislikes things. (Also likes cute animals. (Some animals are pretty animals and are also cute animals.))