214 похожих чатов

Кто знаком с функциональным программированием - законно ли передавать в

монаду другую монаду ?

9 ответов

1 просмотр

что значит передавать монаду в монаду?

TS- Автор вопроса
(
что значит передавать монаду в монаду?

Так чтобы одна монада могла получать в процессе свёртки(fold) значение из другой монады с fold(...)

TS
Так чтобы одна монада могла получать в процессе ...

можно пример, какие монады имеются ввиду?

TS- Автор вопроса
(
можно пример, какие монады имеются ввиду?

Это хороший вопрос)) Хотя я имею ввиду как в целом абстрактное понятие под - монадами

TS- Автор вопроса

Bind по типу Хаскеля ? Там насколько я понимаю подразумевается полиморфизм и в bind-связывание можно скидывать разные функции ?

TS
Bind по типу Хаскеля ? Там насколько я понимаю под...

Монада в самом топорном случае, без умных слов и точных определений должны иметь вот такую штуку: fun <A, B> M<A>.bind(f: (A) -> M<B>): M<B> где M это некоторый тип конкретной монады. Он говорит о том, что мы не можем в общем случае сделать из Either какой-нибудь Option/List/rx.Maybe или что-нибудь в этом роде. У монады вообще не обязан быть fold, это свойство некоторых конкретных типов данных, которые по совпадению являются монадами

TS- Автор вопроса
(
Монада в самом топорном случае, без умных слов и т...

А в монаде может не быть side effects ? В Википедии встречается определение, что монады якобы созданы под вызов из чистых функции для обработки каких-то побочных эффектов .Или это не всегда так ?

Похожие вопросы

Обсуждают сегодня

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Заметил в ghci 9.4.8: > :t (<*>) @((->)_) (<*>) @((->)_) :: (w -> (a -> b)) -> (w -> a) -> w -> b Разве не должно (w -> (a -> b)) быть записано как (w -> a -> b)? Это баг, ил...
Михаил
13
Any electron dev here?
Sayanth Tezro
12
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
так это может кто что знает или использует что-то как макбук только не макбук? на 13…14 дюймов
Michael
9
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
did you mean this? if yes no you don't need it. just need a ui for handle process with ui and some terminal code. you don't want to re create adb your self you just want add u...
Mr Thieves
7
Карта сайта