MK
угу
Size: a a a
2020 December 01
Oℕ
как в одном предложении оказались слова "произвольная категория" и "обширные прикладные возможности"?
Щас бы пропускать слова
Oℕ
Декартовая там
MK
лучше не стало
Oℕ
стало
MK
нет
к
окей, могу сформулировать иначе
если человек собирается изучать конкретно кметовские линзы и использовать их в хаскеле, то нужно поменять способ изучения их с "есть абстрактная оптика -> как с ней работать" на "есть композируемый траверс и фмап -> как их менять, сохранив композируемость, и получить оптику"
если человек собирается изучать конкретно кметовские линзы и использовать их в хаскеле, то нужно поменять способ изучения их с "есть абстрактная оптика -> как с ней работать" на "есть композируемый траверс и фмап -> как их менять, сохранив композируемость, и получить оптику"
АХ
Декартовая там
А можно для тупых индустриальщиков?
KV
Вот любят иногда притворяться, что в стеке монад нет IO, а есть какое-нибудь MonadStuff
И тут так же, типа категория не Hask или вроде того, а декартова
И тут так же, типа категория не Hask или вроде того, а декартова
MK
зачем тебе об этом думать когда ты пишешь джсонодробилку?
VS
В
А есть ли возможность в рамках одного типа выборочно применять эту опцию, только к некоторым полям?
aeson есть опция omit null поля. Её можно использовать целиком для всех полей типа. А есть ли возможность в рамках одного типа выборочно применять эту опцию, только к некоторым полям?
VS
можешь просто вручную написать декодер
через genericParseJson с опцией для поля? Пробовал. Не подошло.
VS
да, сейчас проверю, спасибо
AA
окей, могу сформулировать иначе
если человек собирается изучать конкретно кметовские линзы и использовать их в хаскеле, то нужно поменять способ изучения их с "есть абстрактная оптика -> как с ней работать" на "есть композируемый траверс и фмап -> как их менять, сохранив композируемость, и получить оптику"
если человек собирается изучать конкретно кметовские линзы и использовать их в хаскеле, то нужно поменять способ изучения их с "есть абстрактная оптика -> как с ней работать" на "есть композируемый траверс и фмап -> как их менять, сохранив композируемость, и получить оптику"
емнип так их первоначально и объясняли https://github.com/ekmett/lens/wiki/derivation
не знаю уж кто потом стал по другому объяснять
не знаю уж кто потом стал по другому объяснять
