MK
Ну в случае с Typeable
Тайпабл не знает полей
Size: a a a
2021 January 06
MK
Но есть generic, аесон через него работать может
G
Но есть generic, аесон через него работать может
Т.е. функа для сериализации чисто на инф-ции про тип работает?
MK
Да, но технически это через пачку инстансов делается, потому что "информацию о типе" не так просто использовать
MK
Если хочется без пачки инстансов, есть всякие пакеты типа generics-sop, там вот прямо обычные рабоче-крестьянские функции по инфе о типе пишешь
AA
ну можно десериализовать в Value и потом интерпретировать его в рантайме если надо
AA
а так для аесона нету актуального десериализатора, который именно на рантаймовой рефлексии работает типа Data, может когда-то была да сгнила. Сейчас из актуальных только два компайл-таймовых способа
MK
Дата это такая же "рантайм рефлексия" как и женерик
AA
да нет конечно
MK
Объясни тогда
AA
че именно объяснить-то?
MK
Почему не такая же
AA
потому что чекает все в рантайме
MK
Что чекает
MK
Для него же тоже инстанс нужен
MK
Даты
AA
тайпреп
MK
Который в компайл тайме делается
MK
Да и вообще, кто этой датой пользуется то
AA
так этот инстанс делает рантаймовую рефлексию и Typeable - RTTI