(
Давай конкретно. Вот тебе нужен сериал модуль, который для иерархии классов в модуле прописывает что и через что сериализовывать. Откуда ты его берешь?
fun <T> serialize(t: T, serializer: Ser<T>): JSON
Я правильно понял?
Я правильно понял?
Size: a a a
2020 April 11
Я правильно понял?
AN
fun <T> serialize(t: T, serializer: Ser<T>): JSON
Я правильно понял?
нет
AN
Полиморфный сериализатор
AN
Ему нужно знать всех наследников, которые могу участвовать и их сериализаторы. Это не к типу приязано, а к модулю
AN
Упс, в хаскеле нет полиморфных сериализаторов потому что нет наследования.
(
Ему нужно знать всех наследников, которые могу участвовать и их сериализаторы. Это не к типу приязано, а к модулю
Я не понимаю
(
Что такое модуль?
(
fun <T> SerialModuleCtx.serialize(t: T, implicit serializer: Ser<T>)
(
Как минимум
AN
fun <T> SerialModuleCtx.serialize(t: T, implicit serializer: Ser<T>)
И чем это лучше подстановки руками?
(
И чем это лучше подстановки руками?
Как минимум, не нужно сериализаторы таскать руками
AN
Кроме твои иплиситы мигом рухнут, потому что на один и тот же тип в зависимости и зависимом модуле может быть разный набор наследнико
AN
Как минимум, не нужно сериализаторы таскать руками
А и так не нужно
(
Аддендум2: сериализатор сам может генерироваться имплиситным и тогда модуль руками не нужно создавать совсем
(
Кроме твои иплиситы мигом рухнут, потому что на один и тот же тип в зависимости и зависимом модуле может быть разный набор наследнико
Ну, тут нужно покурить правила имплисит резолюшена и избавиться от этой ситуации
(
Они же в компайл-тайме разрешаются, в чем проблема
AN
Они же в компайл-тайме разрешаются, в чем проблема
В том, что твои имплиситы к типам байндятся. Все, что не байндится к типу сразу идет нафиг. Разумеется, можно придумать модуль-имплиситы или еще какую фигню, но я пытаюсь донести мысль о том, что это не серебряная пуля совершенно
(
В том, что твои имплиситы к типам байндятся. Все, что не байндится к типу сразу идет нафиг. Разумеется, можно придумать модуль-имплиситы или еще какую фигню, но я пытаюсь донести мысль о том, что это не серебряная пуля совершенно
Что значит "байндится к типу"?
AN
Что такое имплиситы?