Статья:
Монады

Автор(ы): Евгений Кирпичев aka jkff
Дата: 28.12.2008
Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию.

Авторы:
Евгений Кирпичев aka jkff

Аннотация:
Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию.

Здравствуйте, Евгений Кирпичев aka jkff, Вы писали:

ЕКA>Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию.

ага, введение+заключение. тема я считаю не раскрыта

Здравствуйте, BulatZiganshin, Вы писали:

BZ>Здравствуйте, Евгений Кирпичев aka jkff, Вы писали:

ЕКA>>Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию.

BZ>ага, введение+заключение. тема я считаю не раскрыта

Дык там, типа, "Полная версия этой статьи опубликована в журнале RSDN Magazine #3-2008".

Примерно такую же по полноте охвата английскую версию, но целиком, можно почитать на spbhug.folding-maps.org/wiki/MonadsEn .

Здравствуйте, Евгений Кирпичев aka jkff, Вы писали:

ЕКA>Аннотация:
ЕКA>Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию.

А люди все пишут и пишут про монады :).

Здравствуйте, http://lj.rossia.org/~peter_lemenkov/, Вы писали:

PL>А люди все пишут и пишут про монады .

Монады неисчерпаемы как атом!

Здравствуйте, http://lj.rossia.org/~peter_lemenkov/, Вы писали:

HLR>Здравствуйте, Евгений Кирпичев aka jkff, Вы писали:

ЕКA>>Аннотация:
ЕКA>>Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию.

HLR>А люди все пишут и пишут про монады .

A haskell newbie is the one who wrote monad tutorial only.

ЕКA>Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию.

Не читал, но одобряю.

Здравствуйте, Евгений Кирпичев aka jkff, Вы писали:

ЕКA>Аннотация:
ЕКA>Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию.

ЕКA>

ЕКA>return a = Just a
ЕКA>Nothing >>= f = Nothing 
ЕКA>(Just a) >>= f = f a
ЕКA>

Разве последняя строчка не должна быть такой:

(Just a) >>= f = Just (f a)

?

Здравствуйте, nikov, Вы писали:

ЕКA>>

ЕКA>>return a = Just a
ЕКA>>Nothing >>= f = Nothing 
ЕКA>>(Just a) >>= f = f a
ЕКA>>

N>Разве последняя строчка не должна быть такой:
N>

N>(Just a) >>= f = Just (f a)
N>

N>?

Нет, не должна. f :: Maybe a -> (a -> Maybe b) -> Maybe b, а не просто b.

Здравствуйте, jkff, Вы писали:

J>Нет, не должна. f :: Maybe a -> (a -> Maybe b) -> Maybe b, а не просто b.

А разве не f :: a -> Maybe b ?
Впрочем, в первом предположении я действительно ошибся.

Здравствуйте, nikov, Вы писали:

N>Здравствуйте, jkff, Вы писали:

J>>Нет, не должна. f :: Maybe a -> (a -> Maybe b) -> Maybe b, а не просто b.

N>А разве не f :: a -> Maybe b ?
Да, тут я поторопился

N>Впрочем, в первом предположении я действительно ошибся.

В бесконечном случае функция распределения нам, на самом деле, не нужна. Действительно, для чего она вообще может понадобиться? Обычно ее интегрируют по интервалу, чтобы получить вероятность попадания значения в заданный интервал

Мне кажется, или автор путает функцию распределения с плотностью вероятности?

Здравствуйте, BulatZiganshin, Вы писали:

BZ>ага, введение+заключение. тема я считаю не раскрыта

Дык, раскрой. А, языком молоть все горазды.

Здравствуйте, VladD2, Вы писали:

VD>Дык, раскрой. А, языком молоть все горазды.

Ты бы читал то, на что отвечаешь.

Здравствуйте, VladD2, Вы писали:

BZ>>ага, введение+заключение. тема я считаю не раскрыта

VD>Дык, раскрой. А, языком молоть все горазды.

для заскеллера написание monad tutorial — всё равно что для девушки лишение девственности. неужели ты думаешь я не отметился?

Здравствуйте, VoidEx, Вы писали:

VE>Ты бы читал то, на что отвечаешь.

Ты хочешь сказать, что я случайным образом ответы пишу? Ну, тыкаю не глядя на сообщение и пишу ответ на вымышленные слова?

Здравствуйте, BulatZiganshin, Вы писали:

BZ>для заскеллера написание monad tutorial — всё равно что для девушки лишение девственности. неужели ты думаешь я не отметился?

А что мне думать то? Оформляешь материал в соответствии с правилами

Автор(ы): The RSDN Group
Дата: 27.10.2002

, присылаешь на submit@rsdn.ru, статью рассматривают, корректируют, выкладывают на сайт и тогда можно будет поглядеть на ее оценку и критику.

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

Здравствуйте, VladD2, Вы писали:

VD>А что мне думать то? Оформляешь материал в соответствии с правилами

Автор(ы): The RSDN Group
Дата: 27.10.2002

, присылаешь на submit@rsdn.ru, статью рассматривают, корректируют, выкладывают на сайт и тогда можно будет поглядеть на ее оценку и критику.

Ну, rsdn — не единственный сайт в интернете.

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

Кстати, чтобы не было "не читал, но осуждаю" — почитай и оцени. По моему, Булат вполне доходчиво объясняет для уровня новичков. По моему личному рейтингу — это лучшая статья по устройству IO монады именно для новичков.

Здравствуйте, VladD2, Вы писали:

BZ>>для заскеллера написание monad tutorial — всё равно что для девушки лишение девственности. неужели ты думаешь я не отметился?

VD>А что мне думать то? Оформляешь материал в соответствии с url=http://rsdn.ru/?article/authors

по-моему, самое подходящее для rsdn описание монад дала Андреа Россато так что если знаешь английский — вперёд, переводи и печатай

Не поделится ли кто информацией о применении монад в Erlang. Или может приведет свои соображения на тему: а нужны ли монады в Erlang вообще? Может там ему и так хорошо...