L
Size: a a a
2021 May 17
[
Bind имеет тип
Monad m => m a -> (a -> m b) -> m b
Monad m => m a -> (a -> m b) -> m b
[
Return имеет тип Monad m => a -> m a
MK
классный еррор месадж от хакаджа
DG
И несколько законов
[
Три закона, два из которых про тривиальность return, насколько я помню
[
Ну типа
return a >>= f
Это то же самое что и
f a
И
b >>= return
Это тоже что и b
return a >>= f
Это то же самое что и
f a
И
b >>= return
Это тоже что и b
DG
Всё верно.
"Аналоги" законов для моноида — "левый нейтральный элемент", "правый нейтральный элемент" и "ассоциативность".
"Аналоги" законов для моноида — "левый нейтральный элемент", "правый нейтральный элемент" и "ассоциативность".
АХ
Если подписывал не кровью - контракт не настоящий
JS
почитайте любую книжку по Хаскелю или пройдите любой курс
ХГ
Поэтому мне и не открыл!
ХГ
Есть "монады в картинках", там всё понятно.
AF
почему же аналоги, это они и есть
DG
Ну, как минимум, "ассоциативность" не 1в1 такая)
MK
"именно такая" если посмотреть на join, а не bind
АХ
Для >=> именно такая
[
М это М' из категории эндофунктуров
[
Что такое М и что М' я не запомнил
[
Вставьте сами