По итогу удалось реализовать монадические геттеры, сеттеры, линзы, призмы и

Question

По итогу удалось реализовать монадические геттеры, сеттеры, линзы, призмы и

изоморфизмы. Даже написал вчера немного об этом.
Для реализации понадобились следующие нестандартные классы:
class (Monad m, Functor f) => FunctorM m f where
fmapM :: forall b t. (b -> m t) -> m (f b) -> m (f t)
class (Monad m, Profunctor p) => ProfunctorM m p where
fish :: forall a b c. (a -> m b) -> p b (m c) -> p a (m c)
может быть какие-то из них эквивалентны чему-то известному? Я попытался поhoogleить, но безрезультатно.

#haskell #programming #russian

0

11.06.2023

5 ответов

24 просмотра

Danil Berestov

Danila Danko
Почему нужно заворачивать функтор в монаду, если м...

функтор не монада

0

11.06.2023

Лев Дворкин Автор вопроса

Danila Danko
Почему нужно заворачивать функтор в монаду, если м...

Если кратко, то чтобы эффекты в линзы привнести. Функтор там под forall, поэтому он не монада вообще говоря. А более подробно можно почитать по ссылке

0

11.06.2023

Danil Berestov

Лев Дворкин
Если кратко, то чтобы эффекты в линзы привнести. Ф...

нельзя, оно закрыто

0

11.06.2023

Лев Дворкин Автор вопроса

Danil Berestov
нельзя, оно закрыто

исправил, спасибо

0

11.06.2023