Я правильно понимаю терминологию:
Концепты - это enable_if встроенный в язык
Трейты раста - это базовый класс с виртуальными функциями, для наследников по возможности автоматом генерит тела методов (фактичски это то, что в C++ называется type erasure)
Шаблоны - ну тут понятно :)
Генерики - это шаблоны, реализованные через виртуальгый функции (фактичски это то, что в C++ называется type erasure)
Какой сейчас предмет спора?
Кажется, Царь просто пытается опять доказать, что шаблоны более мощный инструмент, забывая, что для среднего программиста это стоит очень дорого (в плане повышения сложности программирования и отладки ошибок компиляции)
Обсуждают сегодня