AV
Ну не совсем мапкой, конечно, но JSON в виде типов-сумм легко описывается, да.
Data.Aeson.Value это
Size: a a a
2020 May 15
AV
а потом ПРОСТО ПИШЕШЬ АППЛИКАТИВНЫЙ ФУНКТОР по этому типу, и парсишь
Зачем писать если всё уже написано?
PK
Зачем писать если всё уже написано?
Это чтобы страшнее казалось, аппликативные функторы - это кайф, когда познаешь.
YS
Мне ни разу не приходилось аппликативы писать .-.
YS
Кажется даже функторы не приходилось ни разу писать
PK
функтор - это тип, на котором определен метод map из типа T в U
YS
я знаю что такое функтор .-.
YS
спасибо
PK
Тебе не приходилось метод map писать?
YS
инстансы руками не писал ни разу в рабочем коде
YS
Тебе не приходилось метод map писать?
"инстансы руками не писал ни разу в рабочем коде"
YS
чёж так сложно то(
AV
Не факт, что хватит аппликативного
YS
функтор - это тип, на котором определен метод map из типа T в U
это не функтор
DS
Функтор - это идея! 😂
PK
Я не строгое определение дал, само собой. Там еще законы функтора должен соблюдаться.
YS
да даже без законов
AV
ты не сможешь зписать что-то вида:
withObject "parse_foo" $ \x -> do
x <- x .:? "value"
if value > 15
then parseA
else parseB
YS
ладно, не буду докапываться, это плохо(
PK
Почему? Я бы узнал, что такое функтор.