Кстати да, че такое линзы? Идейно

в общем, линза это функция типа type Lens in_ out source target = forall f. Functor => (in_ -> f out) -> (source -> f target) Линза для первого элемента пары может быть написана вот так first :: Lens a b (a, c) (b, c) first fun = \(firstElem, secondElem) -> (,secondElem) <$> fun firstElem с помощью использования разных f можно добиться различных эффектов вроде взятия поля view :: Lens a a s s -> s -> a view lens = getConst . lens Const Или модификации over :: Lens a b s t -> (a -> b) -> s -> t over lens fun = runIdentity . lens (Identity . fun) Кроме линз есть ещё другие объекты, которые строятся на той же идее, но имеют другой набор свойств, это зависит от того, какой тайпкласс используется в линзе вместо Functor, а так же от некоторых ограничений на типовые переменные Библиотека lens это набор траверсалов вида (a -> f b) -> (s -> f t) и куча запускалок к ним типа view и over, которые я накалякал выше на скорую руку. И ещё некоторые более сложные батарейки для учёта индексов у структур данных, апи для оптимизации траверсов и т.д.

0

6 месяцев назад

Zygohistomorphic Prepromorphism🇺🇦

Nutritional Rabbit
композиция сборщиков профункторов

композиция сборщиков профункторов как ты сказазал это есть категория

0

6 месяцев назад

Cheese Syrowiecki

Nutritional Rabbit
в общем, линза это функция типа type Lens in_ out ...

это реализация Лаарховена, а вопрос был про идею. идея шире

0

6 месяцев назад