Не понимаю. Ну, понимаю, что первый f в отрицательной позиции, но не понимаю, как из этого следуют вещи про тайпклассы. Если бы Identity и Const не были бы аппликативами, а только функторами, то мы бы могли сделать линзу, но траверсом это бы не стало

недавно был интересный вопрос по линзам, как за один раз обновить все вложенные рекорды родительского рекорда вот мой пример (я где-то читал про вертикальную композицию для линз) вот думаю адепты линз лучше это решат) data B = B {_a:: String, _b:: String} deriving Show data A = A {_a:: B, _b:: B, _c:: B} deriving Show makeLenses ''A makeLensesFor [("_a", "a1"), ("_b", "b1")] ''B x = A (B "Test" "Test2") (B "Test" "Test2") (B "Test" "Test2") vc2 = liftA2(>=>) vc3 = liftA3(\x y z -> x >=> y >=> z) over (vc3 (a . vc2 a1 b1) (b . vc2 a1 b1) (c . vc2 a1 b1)) (map toUpper) x -- думаю можно проще

в скале просто написал функцию которая создаёт траверсал

в хаскеле с ТХ вообще лезть не хочется

@xgrommx там же с plated решение было вроде простое

в хаскеле с ТХ вообще лезть не хочется

темплейт хаскаль

в хаскеле с ТХ вообще лезть не хочется

Нужно мне эти линзы самому написать, без этого не разобраться. Мысль летает, но не щелкает

Нужно мне эти линзы самому написать, без этого не разобраться. Мысль летает, но не щелкает

https://artyom.me/#lens-over-tea

это твоя что ли статья?

NICTA lens тоже ничо так

надо кстати software foundations почитать

ну на haskell можно писать без CT вообще

кто-то из великих говорил, что изучать ТК, чтобы понимать Хаскелл — это как учить испанский, чтобы понимать буррито

what is TK?