3 ms·
A dependent type is a function from a value to a type - where a value is a runtime value, not a compile time constant. Can you do 'MyType<n> foo(int n) {...}'
by codebje 5y ago
A dependent type is a function from a value to a type - where a value is a runtime value, not a compile time constant.
Can you do 'MyType<n> foo(int n) {...}' ?