R
а, моэет быть, да
Size: a a a
2020 August 11
SN
и у функтора сигнатура должна быть (a -> b) - F<a>->F<b>
SN
R
но у байнда и ретурна тоже не подходящая сигнатура получается
SN
у них другие законы немножко. монада является функтором, если я не ошибаюсь. тема в том, что fmap можно реализовать в терминах bind и return
SN
опять же, в эфшарпе этого нет :(
DS
Единственное, что у меня немного не вяжется, это что у мапа сигнатура не 'a -> 'a -> 'a, но возможно @DogeShibu поможет разобраться
Нет, тут про другое.
Если ты пытаешься объяснить как связаны монада и моноид, то это лучше не так делать.
Если речь просто про монады, то там есть такие сигнатуры:
bind :: m a -> (a -> m b) -> m b
pure :: a -> m a
Ну и bind можно заменить на join :: m (m a) -> a
Если ты пытаешься объяснить как связаны монада и моноид, то это лучше не так делать.
Если речь просто про монады, то там есть такие сигнатуры:
bind :: m a -> (a -> m b) -> m b
pure :: a -> m a
Ну и bind можно заменить на join :: m (m a) -> a
SN
в смысле, полноценную монаду надо полностью пилить самому
DS
Да и то, pure там из аппликативного функтора берется
MS
ну ты ж понимаешь, что async result - это банально 'T и 'U?
Ну это и так понятно, вопрос в том что мало слышал что его юзают
MS
Больше статей как просто взять СЕ и все
MS
И дальше пишешь на сишарпе
SN
Ну это и так понятно, вопрос в том что мало слышал что его юзают
это просто пузырек внимание, как у того парня, который на ютубе рассказывал, что фп фактически никому неизвестно, поэтому на нем не пишут (sic)
SN
а я вот смотрю курс лекций по haskell на o'reilly и у меня крыша едет, я банально не понимаю ничего уже с первых минут. а для автора это "ну очевидно, все ж так пишут"
MS
это просто пузырек внимание, как у того парня, который на ютубе рассказывал, что фп фактически никому неизвестно, поэтому на нем не пишут (sic)
Судя по джет коду я не особо видел его использование если честно
SN
в джет код лучше не смотреть, это образец как не надо делать скорее
MS
Единственное где был уместный фшарп код это только в ивент сорсинге
MS
С паттерн матчингом
SN
ну да, если на минуту забыть о неуместности самого ивент сорсинга