История изменений
Исправление www_linux_org_ru, (текущая версия) :
Именно числом параметризовать в Racket нельзя (типы векторов и списков параметризуются только типом элементов).
в с++ можно параметризовать:
1. статически известным числом
2. неизвестным числом, адрес которого статически известен
нельзя параметризовать, или может и можно, но с ахренными костылями:
3. локальной переменной (т.е. неизвестным числом, адрес которого статически известен относительно определенного фрейма стека)
нельзя параметризовать:
4. неизвестным числом... в общем, нет в с++ path-dependent types как в scala
5. ну и полноценных dependent types тоже нет — все уже догадались, пишу только для полноты
Исходная версия www_linux_org_ru, :
Именно числом параметризовать в Racket нельзя (типы векторов и списков параметризуются только типом элементов).
в с++ можно параметризовать:
1. статически известным числом
2. неизвестным числом, адрес которого статически известен
нельзя параметризовать, или может и можно, но с ахренными костылями:
3. локальной переменной (т.е. неизвестным числом, адрес которого статически известен относительно определенного фрейма стека)
нельзя параметризовать:
4. неизвестным числом... в общем, нет в с++ path-dependent types как в scala
5. ну и полноценных dependent types тоже нет