к
Size: a a a
2020 November 24
AV
У меня к линзам претезия только что у них тайпчекается, не значит работает
AV
Возможно оно какую-то адсткую дичь вместо делает
YS
так это к всему хаскелю претензии
YS
.-.
KV
почему линзы не haskell way?
Потому что когда уже выучил хаскель линзокод нельзя понять, надо ещё линзы учить
AV
Интересно, а те кто не любит Functor для (a,) не любят и линзы?
JS
Интересно, а те кто не любит Functor для (a,) не любят и линзы?
линзы любим, только моноидный view не любим
АХ
Интересно, а те кто не любит Functor для (a,) не любят и линзы?
Я подозреваю, что да, но спорить не буду
AA
чистый lens и lens для всяких либ не бейзовых
но чистый ленз будет зависеть от кметтолиб которые будут зависить от тех же либ
к
линзы любим, только моноидный view не любим
а я очень люблю, так как я слабо изучал фолдовые операторы, то вместо этого часто делаю что-то вроде view (x . to Sum)
AA
пока нынешняя ситуация с сиротами существует, любой пакет определябщий какой-то класс будет зависеть от половины хекеджа
KV
пока нынешняя ситуация с сиротами существует, любой пакет определябщий какой-то класс будет зависеть от половины хекеджа
А почему она может перестать существовать?
JS
а я очень люблю, так как я слабо изучал фолдовые операторы, то вместо этого часто делаю что-то вроде view (x . to Sum)
да, это здорово, когда тебе действительно нужен фолд. а если надо ровно одно поле достать, уже контрхаскельное поведение начинается
AA
ещё вроде такое встречалось
pkg-instancesтак такое можно делать только с нарушением основных рекомендаций по использованию тайпклассов
AA
А почему она может перестать существовать?
ну можно придумать что-то типа специального сорта пакетов для сирот со специальными правилами
AA
да, это здорово, когда тебе действительно нужен фолд. а если надо ровно одно поле достать, уже контрхаскельное поведение начинается
хорошо, что нужен фолд, а view это как раз фолд