P
Size: a a a
2021 April 13
DK
А что именно интересует?
DK
DK
@graninas Упоминал, кажется, что можно map через bind выразить... Как это возможно? Или это aplicative через bind и map только можно?
˸A
Нужен
of :: Applicative f => a -> f a - тогда можно из bind сделать функторАГ
Да не, из
bind можно сделать и аппликативную операцию ap, и функторную fmap. Вот пример из моих плюсовых библиотек:˸A
Можно пример?
АГ
Пардон, я как раз его и ищу, а тут меня отвлекли
˸A
Я, кстати, привык этот bind называть chain. Может, одна из сложностей в ФП - это неунифицированные имена...
˸A
Вот. Без pure не получится. Я об этом же)
АГ
Чет не могу найти. Из-за особенностей C++ есть fmap, реализованный не через bind, а повторением его логики.
Вот bind:
https://github.com/graninas/cpp_stm_free/blob/7c626aad0b7c90b93422ed5602a66bc77e2023e2/cpp_stm/stm/church/stm.h#L16
Вот fmap:
https://github.com/graninas/cpp_stm_free/blob/7c626aad0b7c90b93422ed5602a66bc77e2023e2/cpp_stm/stm/church/functor.h#L12
Вот bind:
https://github.com/graninas/cpp_stm_free/blob/7c626aad0b7c90b93422ed5602a66bc77e2023e2/cpp_stm/stm/church/stm.h#L16
Вот fmap:
https://github.com/graninas/cpp_stm_free/blob/7c626aad0b7c90b93422ed5602a66bc77e2023e2/cpp_stm/stm/church/functor.h#L12
DK
тоже вариант, монада без pure не монада по Брагилевскому
АГ
Операция pure по умолчанию должна существовать рядом с bind, так-то. Иначе монада и не получится
АГ
Вот
АГ
А, ясно, у вас там
of - это pure˸A
Ну, мы же только про функцию bind говорили. А так то, любая монада - аппликатив, любой аппликатив - функтор
АГ
Ну да, мы не уточняли, что кроме bind как монадического механизма должна быть операция вкладывания простого значения в этот монадический контекст