3 ms·
No. Dependent types go further and allow you to do things like express that the length of an output vector/array is the same as some input number. That is, depe
by Jtsummers 3y ago
No. Dependent types go further and allow you to do things like express that the length of an output vector/array is the same as some input number. That is, depends on some value (as in a runtime value). This mod type is fixed at compile time.