AV
Для любителей сокрытия имплементации тоже всё есть
Size: a a a
2020 June 28
AA
да, генерик-линзы это новой глоток воздуха в хаскеле
пиджаку уже 3 года, а все как новый
AV
Несколько структур могут выдавать одинаковые доступны к полям
к
пиджаку уже 3 года, а все как новый
новым он становится не тогда, когда его имплементят, а когда его начинают использовать
AV
Ошибки дурацкие из-за TypeError, но боюсь с точкой они сильно лучше не будут
AV
Ну или там не будет той же flexibility, что у generic-lens есть
AA
А чем людям не нравится overloaded labels (ну явно не захватом инстанса) и generic-lens линзы?
AA
но в основном, конечно, люди просто линзы ненавидят
_:
И тем что это считается экспрешеном
AV
Ну это ж круто, оно отличается от обычных функций сразу
AV
А в функции превратить можно
_:
Еще у меня generic-lens не хотят Maybe поля брать
AV
Нет проблемы #id и id
_:
record ^. #mbField -- ошибка
_:
Нет проблемы #id и id
Вроде есть extension чтоб аксессоры не генерились
_:
> NoFieldSelectors
AA
Вроде есть extension чтоб аксессоры не генерились
нет, он недоделан еще
_:
Ну, оно однажды исправило ошибку с конфликтом в коде
DS
Кто-нибудь уже тыкал лин типы свежие?
Я правильно понимаю, что паттерматчинг по конструктору с линейными типами сейчас толком не работает?
Я правильно понимаю, что паттерматчинг по конструктору с линейными типами сейчас толком не работает?
AA
Кто-нибудь уже тыкал лин типы свежие?
Я правильно понимаю, что паттерматчинг по конструктору с линейными типами сейчас толком не работает?
Я правильно понимаю, что паттерматчинг по конструктору с линейными типами сейчас толком не работает?
в кейсах и летах точно не работает