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