(Untitled)

[antilamer]

Судя по тому, что меня так и подмывает написать свой monad tutorial, я вскоре стану достоин звания новичка хаскелла.

А вообще интересно, где действительно находится концепция монад по шкале сложности, наряду с функциями, виртуальными функциями, объектами, переменными, массивами, генериками, плюсовыми шаблонами... Подозреваю, что генерики (система

Comments

[mibori]

Судя по тому, что меня так и подмывает написать свой monad tutorial

Напиши. Серьёзно.

[lomeo]

А разве не надо знать полиморфные типы, чтобы понимать монаду?

[deni_ok]

Ну, про список-то все знают. Просто, по-моему, он не очень хорош как базовый пример.

[mibori]

но пример, всеже, неотъемлемый.

[deni_ok]

Да.

[jakobz]

Напиши обязательно. Все что видел - плохо, уверен что можно гораздо проще объяснить.

[deni_ok]

Следующее поколение программистов будет жить при катаморфизме :))

А monad tutorial напиши. Должен же в конце концов появится правильный текст про это.

[palm_mute]

> Следующее поколение программистов будет жить при катаморфизме :))
:)

У меня фраза "у вас же катаморфизм!" совсем другие ассоциации вызывает. Ботулизм или аневризм, например.

[antilamer]

Я примерно это и имел в виду :)

[lomeo]

Угу, мне тоже "Целитель" Булгаковский сразу вспомнился.

[darnley]

Да, их обозначения наводят на подозрения, что они берут засушенные (|бананы|), поджигают их с помощью [(линзы)] и втихаря, кхм, гиломорфят...

[antilamer]

Ох как верно!
А ты тоже эти статьи читал?