Oℕ
ничем не проймёшь этот закостенелый пуризм
Size: a a a
2020 May 22
Oℕ
это не то
а что надо то
AA
параметрический полиморфизм надо для начала
Oℕ
ну началось
AA
ехал макрос через макрос это не параметрический полиморфизм
АГ
Темплейты уже не работают как макроподсистема
АГ
Добавление туда концептов это подтверждает, в том числе
AA
все еще больше работают как макроподсистема чем как система типов
AA
кстати, правила типизации для шаблонов-то хоть где-нибудь есть?
АГ
В стандарте есть
AA
ну давайте посмотрим на них
АГ
К сожалению, у меня стандарта нет, и он платный
Oℕ
включим музыку медитативную
Oℕ
и сконцентрируемся на тайпнеймах
AA
берите пример с доттистов - они сразу страничку нужную предъявляют
DF
драфт бесплатный на isocpp висит
DF
и можно дать ссылку на конкретный параграф
DF
Александр немного от себя говорит мне кажется
DF
Можно конечно концепты считать вариацией Refinement Types но мне позиция Клапауция ближе
АГ
В стандарте прописан порядок инстанциации, как минимум