4 ms·
No. To have dependent types the values the types depend on must be runtime constants, not compile time constants.
by ReleaseCandidat 5y ago
No.
To have dependent types the values the types depend on must be runtime constants, not compile time constants.
- zozbot234 5y agoStrictly speaking, dependently-typed languages don't even have a clear-cut phase separation between "compile time" and "run time" (other than via "code extraction" to a non-dependently typed language as an add-on feature). It's clear however that the Rust const-generics 'MVP' is quite far from the flexibility of full dependent types.