IR
А что от неё толку если композицию нормально не сделать
Size: a a a
2020 November 05
K
Можно линзы в призмы перегонять. Травёрсалы только непонятно как делать.
AP
никак без HKT
AP
type alias Prism s a = s -> Maybe (a, a -> s)
type alias Lens s a = s -> (a, a -> s)
Кто-нибудь работал в Эльме с такой оптикой?
Такой нет, потому что это ванлаарховеновские линзы, а там быстро функтор нужен становится
AP
Есть костыльные линзы в пакетах. Они даже как-то композятся, но не как функции, конечно
AP
Призмы и траверсалы уже не сделать
K
(ну да это и не призма, на самом деле)
AP
Это просто линза в мейби
K
Композиция-то ладно, руками напишу
AP
Ты посмотри, какие-то пакеты для линз есть. Даже Эван делал такой, но быстро понял, что нормальное не получится и с тех пор говорит всем, что оптика неэльмична :)
K
Хе-хе
AP
Это же очень удобно — тихонько попробовать, обломаться, а потом сказать: "just as planned!"
DK
DK
и композится, но не уверен что удовлетворит ценителей
AP
Монокль я пробовал. В принципе - работает. На деле же настолько вербозно, что нужно очень хотеть оптики, чтобы такое терпеть. Я пока просто не делаю такие большие и сложные структуры, для которых монокль упрощал бы жизнь, а не усложнял...
AP
Для моделей я вообще не уверен в пользе оптики: модель отражает состояние UI, поэтому хождение в глубь лучше сразу заменить на делегирование вьюх и апдейтов.
AP
С неотображаемым состоянием, лежащим рядом с моделью интерфейса можно и с помощью линз поработать, да.
AP
Denis Krivosheev
и композится, но не уверен что удовлетворит ценителей
Главная проблема тут в том, что нельзя скомпозить lens+prism или prism+lens, а если iso добавить, то будет шесть комбинаций! Поэтому торчат все эти
Prism.fromIso и Lens.fromIsoDK
DK
мы отказались от линз вообще, в нашем случае от них проблем больше чем пользы