ЗП
Size: a a a
2021 September 09
SO
допустим Nullary sum type
K
https://gist.github.com/Heimdell/915ec779bda51f8d3fe581a183b549f1#file-test-hs - вот, только у меня тут в качестве ключей Symbol, который тайплевел-строка
K
> Nullary
Далеко не уходи
жмёт кнопку
Nuclear launch detected
Далеко не уходи
жмёт кнопку
Nuclear launch detected
KV
Т. е. надо что-то типа
buildDecoder :: RawData -> m (Key -> Value)
Где m - какая-нибудь монада с эксепшенами
buildDecoder :: RawData -> m (Key -> Value)
Где m - какая-нибудь монада с эксепшенами
SO
с какими эксепшенами?
K
Как ты это сделаешь-то, Reader же не traversable? Тебе нужно будет Value из отсутствующего ключа построить, а эксепшен из функции ты выкинуть не сможешь
KV
"ключ такой-то не нашелся"
SO
ну вот по идее там и не дожно быть таких эксепшенов
KV
А так не получится
SO
либо структура обладает всеми ключами, либо ее нет
KV
Да блин, мне код что ли писать ещё
KV
Ну я это и предложил
K
Ну ты советы даёшь
K
выкинуть из
m (Key -> Value) эксепшон ты можешь только до передачи в функцию чего-либоKV
Не
Key -> m Value
А
m (Key -> Value)
Один раз проверить, что всё на месте, и больше не париться
Key -> m Value
А
m (Key -> Value)
Один раз проверить, что всё на месте, и больше не париться
KV
Можно составить мапу, проверить, что всё на месте, а дальше простой индустриальный ансейф лукап
KV
Никакого мошенничества
SO
Это можно, можно и case в моем случае сгенерить для такого словаря, но у меня вопрос возник, почему такой структуры не предусмотернно