Jarek Ratajski at Lambda World 2017
Lambda Core - Hardcore
You all use lambda expressions. But what does it mean… Lambda? This talk will be about the story behind this term, from a little bit more scientific point of view. Church Lambda calculus, Entscheidungsproblem and incompleteness theorem. Almost all of that will be presented in Scala. And of course, you can later impress your friends with some impressive math tricks. There are going to be some very crazy code pieces shown such as a perfectly unusable implementation of boolean (based on lambda expressions). Come and see what purely functional really means.
Subscribe to the Lambda World YouTube channel to be updated when new videos are added.