Введение в теорию функционального программирования с примерами на F#

Чем дальше — тем больше функционального подхода к программированию мы видим вокруг нас. Это и функциональные компоненты в React, и пайплайны обработки данных в Apache Spark, и подход с функциональными трансформациями в JAX. Этот список можно долго продолжать.

Дмитрий расскажет про формальные основы функционального программирования и поговорит о двух математических теориях, лежащих в основе этого подхода: лямбда-исчислении и теории категорий.

Этот доклад — для тех, кто хочет немного «размять мозг», а также поговорить о том, может ли математика помочь нам писать более качественный код. Примеры в докладе будут на языке F#.