Айрат Худайгулов «История функционального программирования и щепотка монад»

Функциональный стиль всё глубже проникает в привычные императивные языки. И всё равно для многих это диковинка, которую тыкают палкой издалека. Многие апологеты сразу начинают тыкать функторами и монадами в лицо, рассказывая какие же они клёвые. Разберем все с самого начала. А откуда ж взялись "лямбды"? Что за теория категорий, о которой все говорят, и как она связана с кодом? Как можно "доказать" программу? Ну и, наконец, все вокруг говорят о монадах, а все ни сном, ни духом! Всё это и ещё немного философских размышлений ждут на докладе!

---

Доклад представил Айрат Худайгулов в рамках Встречи MskDotNet №25.

Слайды

Видео