Lambda Core - Hardcore - Jarek Ratajski

by Jarek Ratajski 41:25 1143 views 100% Published 4 years ago

This presentation was part of Lambda World 2017 given by Jarek Ratajski.

Follow:
-https://www.twitter.com/47deg
-https://www.twitter.com/lambda_world
-https://www.twitter.com/jarek000000

Visit:
-https://www.47deg.com/events for more details.

___

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.



Watch on YouTube





Lambda World 2017


Lambda World 2017

From 26/10/2017 to 27/10/2017 in Cádiz, Spain