Сперва я думал, что понял, но теперь, кажется, опять не

Question

Сперва я думал, что понял, но теперь, кажется, опять не

понял, если Vec это функция, которая создаёт тип из рода Vec параметризированный своим аргументом, то кто здесь HKT? Vec как функция, или Vec как род вместе с этой функцией, которая параметризирует род? Ведь у рода должны быть какие-то свойства типа, может и не уточнённые без знания параметра.

#backend #embedded #programming #russian #rust

0

23.10.2019