There is a bluebird in my talk that wants to get out

Комментарий Программного комитета:

Сам Лукас говорит, что его доклад достаточно простой и ему можно поставить уровень смузи. А именно если вы понимаете, что такое функции в js, условные и арифметические операторы — то велком.

Но все же мы решили поставить хардкор. Основной упор в докладе идет на концепт Y-комбинаторов и лямбда-исчислений, и если вы используете функциональный подход в промышленной разработке, некоторые концептуальные моменты функционального программирования выходят за рамки вашего кода. И то, что покажет Лукас, будет в максимальной мере полезно практикующим функциональный подход и позволит раскрыть некоторые моменты самой концепции.

Будет ли показанный подход применим в продакшне? Не думаем. Но сами идеи дадут взгляд с другого ракурса и помогут составить более полную картину.

There is a bluebird in my talk that wants to get out, but state machines are too tough for him. This is not your usual functional programming talk. In it, you'll learn lambda calculus itself and see how exciting it can be to derive combinators from the most elegant ideas in computability theory.

Functional programming, JavaScript, and birds. Most people like at least two of them.

In this talk, we'll explore functional programming from a different angle. Instead of talking about functors, bifunctors, profunctors, monads, comonads and other trendy concepts we'll take a step back and learn lambda calculus itself.

How does lambda calculus express computation? How can we represent concepts such as true or false or, even better, how can we express boolean logic? How can we do arithmetic operations without using any numbers? What about loops? These are a few of the questions we're going to answer and we're gonna do that with small incremental steps.

During all this process we'll also identify some unique and exquisite creatures: birds (or combinators, as some other people call them). These are patterns that will emerge naturally from the process of rediscovering lambda calculus and are guaranteed to blow everyone's mind by their simplicity and elegance.

Rediscovering lambda calculus feels like rediscovering math and finally understanding what is behind functional programming.

We'll finally let our bluebird out. We won't be too tough for him.