// codeart.ru / Вопрос/Ответ / Про монады в функциональных языках Форум

Про монады в функциональных языках rss подписка

Автор: Evgeniy Sergeev

Начну из далека, но очень быстро перейду к сути вопроса. Итак, есть теория категори, которая является чисто абстрактной и если честно скучной штукой. Не поймите меня неправильно, теория категорий вещь полезная, учить ее, безусловно, надо. Но все равно скучно. Как в любой сфере знаний в данном разделе математики есть свои определения, например морфизмы (или их еще по идиотски называют стрелками), функторы (которые по большому счету есть морфизмы для категории катеорий), естественное преобразование, монада и т.д.

Что интересно, никто не ломает копья в попытках объяснить суть каждого из этих терминов в свете функционального программирования. Но вот к монадам народ просто проникся чистой бескорыстной любовью. И попыток объяснить значения монад в функционаэльном программировании стало столь много, что в зоопарке мнений и объяснений потерялась сама суть.

Leave a Reply

« »