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

Подробнее о конференции DotNext: jrg.su/3WmFRE
- -
Чем дальше - тем больше функционального подхода к программированию мы видим вокруг нас. Это и функциональные компоненты в React, и пайплайны обработки данных в Apache Spark, и подход с функциональными трансформациями в JAX. Этот список можно долго продолжать.
Дмитрий рассказывает про формальные основы функционального программирования и поговорит о двух математических теориях, лежащих в основе этого подхода: лямбда-исчислении и теории категорий.
Этот доклад - для тех, кто хочет немного «размять мозг», а также поговорить о том, может ли математика помочь нам писать более качественный код. Примеры в докладе - на языке F#.
Скачать презентацию с сайта DotNext - jrg.su/0QsIEo

[@ЗахарЗахватов-ь7х]

🤯🤯🤯

[@Hamahaa]

F# |> (I love)

[@Grafsnikers]

❤❤❤

[@user-tk2jy8xr8b]

Стрелка "может помочь" существует и у имбецила, исходя из требования автоморфизма для объектов, так что категория не очень получилась Монада это моноид в категории эндофункторов потому, что для функтора m имеется pure : t -> m t, join : (m×m) t -> m t, плюс законы (взаимодействие pure/return и >=>/∘), т.е. моноид тут в типах 1 -> m и m×m -> m

[@ВалерийШинкевич-э8б]

Всё таки Scala - более приятный язык....

[@rgrg-ip5vv]

Блин, „...расслабит...“!