не зна. такой фрей

https://github.com/haskell/aeson/blob/master/examples/src/Simplest.hs
по-моему serde проще использовать

не

там с экстеншенами можно дерайвить

ну короче derive(Serializer) делаешь и всё заебись

Вывод типов в обобщённом коде трудная ли задача?
Если мы говорим об обобщённом коде с параметричностью и классами типов (возможно высшего порядка), то хоть и трудная, но алгоритмически однозначно разрешимая, вывод типов будет работать детерминированно и предсказуемо по времени.

В C++ по историческим причинам вывод типов оказался ограниченным, это несколько снижает удобство использования, но по-прежнему им можно успешно пользоваться, так что я не противопоставляю C++ чему-то.

Я скорее задаюсь вопросом: "Какие уже существующие конструкции языка помешали сделать вывод типов с расширенным контекстом? Или это было дизайнерское решение Консорциума не вводить эту фичу, чтобы сохранить предсказуемость компиляции?"

По-видимому неоднозначность вывода и послужило причиной, чтобы не делать сложный вывод. Ну я так понял из обсуждения выше.

Есть мнение, что причина может быть в историческом наследии в виде неявного приедения типов в плюсах. В хаскеле, если вы в функцию передаёте условный char*, он никогда не будет приведен к типу std::string, или, прости боже, bool.

Ну я и написал про неоднозначность)

а что, в хаскелле нет вообще никаких неявных кастов и неявных конструкторов?

ладно нет слабой типизации, это я поддерживаю. Но апкасты-то благо

неявные конструкторы тоже могут иногда помогать

в хаскеле нет неявных кастов

есть тайпклассы, с помощью которых можно обозначить, что нужно функции для работы

например в функцию Num a => a -> a -> a ты пихаешь любые два экземпляра тайпкласса Num (но при этом обязательно одного типа) и получаешь третий экземпляр

а концепты в темплейтах?

не совсем понимаю, что это

и как оно должно работать

констрейнты в дженериках