PK
Блин, ты вот противоречишь сам себе.
“blah” - валидный JSONSize: a a a
2020 May 15
PK
YS
а потом ПРОСТО ПИШЕШЬ АППЛИКАТИВНЫЙ ФУНКТОР по этому типу, и парсишь
Никогда не писал инстанс аппликативного функтора
PK
[ null, 5, “blah” ] - тоже валидный jsonYS
“blah” - валидный JSON"Мапка по сути, если не примитив"
YS
А, ну и массив
PK
или bool, или number, или null
YS
Примитив
YS
Я 3 раза написал (
PK
Я один раз написал 🙂 Но ты зачем-то усложняешь свое выражение исключениями
YS
А если нужно работать с чем-то "произвольной степени гетерогенности", то можно как случае с json - работать с мапкой, так как джейсон - мапка по сути, если не примитив или массивYS
Потому что я описал, что, если нужно работать с произвольной гетерогенностью - нужно работать, скорее всего, с мапкой
PK
Скорее всего - это ты по статистике какой-то смотришь?
YS
я пишу "скорее всего" когда не уверен 100% в своем утверждение
PK
Ну потому что оно неверное.
PK
JSON описывается как тип сумма, а не как тип-разность
YS
Где оно неверное?
YS
Я не про типы говорю, а про значения
YS
Очевидно, про мапки на типах сложно говорить
YS
Хотя наверное можно, но я мапки на типах не видел