Извлечение терминов: Генерация отмечает из текста

(См. также ответы по телефону , Что такое монада? )

А хорошая мотивация к Монадам является sigfpe (Dan Piponi) , Вы, Возможно, Изобрели Монады! (И Возможно Вы Уже Имеете) . Существуют МНОГО других учебных руководств по монаде , многие из которых ошибочно пытаются объяснить монады в "простых терминах" использование различных аналогий: это учебная ошибка монады ; избегайте их.

Как DR MacIver говорит в , Говорят нам, почему Ваш язык сосет :

Так, вещи я ненавижу о Haskell:

Let’s запускаются с очевидного. Учебные руководства по монаде. Нет, не монады. Конкретно учебные руководства. They’re бесконечный, раздутый и дорогой бог являются ими утомительный. Далее, I’ve, никогда замечаемый любое убедительное доказательство, что они на самом деле помогают. Считайте определение класса, запишите некоторый код, преобладайте над страшным именем.

Вы говорите, что понимаете, Возможно, монада? Хороший, Вы на пути. Только начните использовать другие монады, и рано или поздно Вы поймете то, что монады в целом.

[Если Вы математически ориентированы, Вы могли бы хотеть проигнорировать десятки учебных руководств и изучить определение или следовать лекции в теории категорий :) Основная часть определения - то, что Монада M вовлекает "конструктора типа", который определяет для каждого существующего типа "T" новый тип "M T" и некоторые пути к движению назад и вперед между "регулярными" типами и типами "M".]

кроме того, удивительно достаточно, одно из лучших введений в монады является на самом деле одной из ранних научных работ, представляющих монады, Philip Wadler Монады для функционального программирования . Это на самом деле имеет практичный, нетривиальный примеры мотивации, в отличие от многих искусственных учебных руководств там.