AB
Шаблоны типов это тайпклассы тогда
Size: a a a
2020 June 29
P
Еслм переменная автоматическая, уб
да именно так, спасибо
AB
Ими можно манипулировать через template template parameter
A
Ими можно манипулировать через template template parameter
+
IA
Кстати, еще вынос vtable из класса упрощает создание полиморфизма зависящего от нескольких типов. Но я не уверен, есть ли это в каком-то из языков прямо из коробки.
https://en.wikipedia.org/wiki/Multiple_dispatch тут есть список языков.
JS
Dollar Føølish
Но к концептам это не имеет отношения
почему же? концепты, трэйты и тайпклассы почти одинаково хорошо выражают интерфейсы, в отличие от наследования, например
JS
Ими можно манипулировать через template template parameter
это можно использовать вместо концептов?
AB
это можно использовать вместо концептов?
Это ортогонально кнцептам
JS
Это ортогонально кнцептам
не важно. как это делать? как выражать тайпклассы через шаблоны шаблонов?
m
Я опять же не большой знаток функциональщины, но кажется template template parameter'ы реализуют HKT в compile time. Я не уверен нужен ли HKT для тайпклассов. Ну и главное что они работают только в compile time, а растовские трейты и в compile и в runtime.
AB
Растовые трейты это не тайпклассы
AB
Используя определение из этого рфц,
std::vector это (type, type) -> typem
Используя определение из этого рфц,
std::vector это (type, type) -> typeНу этот rfc как раз о HKT, а не тайпклассах. И
template -> template -> type - это просто kind. Но возможно я ошибаюсь и меня поправят.AB
Тайпклассы это хкт?
Я поэтому и спросил
2020 June 30
IZ
Просто майкрософт обновили протокол вели эту штуку вот хочу ее понять!
/warn offtopic
G
Code Cat has been warned (
1/3)