MK
оставьте ботов в покое
Size: a a a
2020 July 31
χλ
мы можем отдаляться от меты в самом нижнем уровне, но ничего не мешает быть искренним в мете
Хм
χλ
мы можем отдаляться от меты в самом нижнем уровне, но ничего не мешает быть искренним в мете
Могу парировать только чем-то типо прагматической модели.
Мета уровень в речи обычно используется в качестве иронии.
Мета уровень в речи обычно используется в качестве иронии.
JS
хм, это уже давний спор был, но как re тут поможет?
да, я тут поэкспериментировал немного, кажется, для полей призмы вообще не имеют смысла. только для конструкторов
JS
призма для поля вообще существует, только если у конструктора одно поле. но в таком случае поле не отличается по смыслу от конструктора
JS
lens кстати траверсалы и генерит для таких полей при makeLenses
а generic-lens — нет. печаль
> :t #_A :: Prism' T _
• Found type wildcard ‘_’ standing for ‘(Bool, Char)’
JS
но призмы генерятся если что, ты просто не подключил Labels наверное
для полей — нет. только для конструкторов. или ты про что?
JS
как ужасно Фира склеивает
#_к
хм, так, какая-то нестотыковка
мое ожидаемое поведение
- для каждого конструктора нужно генерить призуму
- для каждого поля нужно пытаться генерить линзу
- для каждого поля, для которого не получилось сделать линзу, нужно пытаться генерить траверсал
- на остальное кидать ошибку
мое ожидаемое поведение
- для каждого конструктора нужно генерить призуму
- для каждого поля нужно пытаться генерить линзу
- для каждого поля, для которого не получилось сделать линзу, нужно пытаться генерить траверсал
- на остальное кидать ошибку
lens в этом плане все делает как надо, а вот generic-lens не генерит траверсалы для полей
JS
осталось только подчёркивания убрать (NoTopSelectors)