сейчас бы обсуждать какие-то недоязыки без поддержки завтипов

Я верю

выучить все нюансы CTAD и нюансы использования std::initializer_list, или же haskell?

выучить что-то полезное для работы, или же haskell?

это уже третья опция

А какие в CTAD нюансы? Работает же вроде так же, как и вывод типов из аргументов функций.
Только вместо набора перегрузок — набор конструкторов из общего случая шаблона. Иногда явные deduction guides, если очень-очень надо.

Проще выучить собрание сочинений Маркса

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

Нюансы в

std::vector vec{ std::vector{1} };

А также в том, что deduction guides написан хрен знает где и чтобы быть на 100% уверенным в том, что у тебя там ща инстанцируется, нужно этот deduction guide по коду искать) Что не так просто, т.к. go to definition для них не предусмотрен) К тому, вообще необходимость поиска - та еще хрень.

С initializer_list - это вообще вещь прикольная.  Например этот код не скомпилируется:

struct X {
      X(std::initializer_list<int> list) {}
};

X x {1,2,3,4}; //Ok
auto x = make_unique<X>({1,2,3,4}); //Упс :)

Ну, а так есть даж неплохая статья https://foonathan.net/2016/12/fixing-initializer-list/

А, точно, виноваты конструкторы копирования и перемещения, как обычно.

Спасибо.

Вообще, любые конструкторы зло :) Но наличие аж целых трех - зло в кубе :)

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

Вывод типов сложнее сделать, когда нет системы типов. В С++ системы типов нет, хотя типы, конечно, есть

А что такое система типов? Всякие kind'ы?

Не обязательно. Главное - консистентная и выразительная основа. И никакая система типов немыслима без алгебраических типов данных, например

хм. Кажется я начинаю понимать в чем претензия к плюсам. Фактически у нас есть только duck typing и type traits, благодаря которым мы можем выживать и без алгебраических типов, но это костыль.

Да. И std::variant + struct как замена АлгТД - это тоже костыль, существенно неудобный и ограничивающий дальнейшее развитие языка. Так, на std::variant нельзя сделать нормальный паттерн-матчинг, потому что паттерн-матчинг - это языковая фича, а std::variant - контейнер. Такое направление зависимости - когда языковая фича зависит от библиотеки - видится мне противоестественным

Вообще, наверное, шаблоны ломают любую систему типов, так как специализация может переопределить все.