2009-01-15 11 views

ответ

3

Вы имеете в виду следующие функции: fooM и fooM_? Вы можете понять их лучше, читая их исходный код, или когда вы пишете do -выражение, вы можете подумать, может ли это быть выражено с помощью соответствующей функции fooM.

Вы также можете взглянуть на this question.

3

Я написал тематическое исследование под названием "Anatomy of a New Monad". Это то, что вы имели в виду?

2

Ответ, который я искал это: [Экскурсия функций монад Haskell] [1]

Но я все еще ищу что-то подобное для нестандартных монад.

[1]: http://members.chello.nl/hjgtuyl/tourdemonad.html Туры функций монадного Haskell

2

Новая O'Reilly книга Real World Haskell имеет некоторую хорошую главы по монадам, которые включают в себя вид дурацкий специальном определенный пользователь абстрактная функция функции монады, которую вы, похоже, ищете.

+0

Вы можете найти эту книгу здесь: http://book.realworldhaskell.org/read/ (Сохранение вам поездки в Google :-) – Magnus