4 ms·
Is this what is known as pi or dependent types?
by lordnaikon 8y ago
Is this what is known as pi or dependent types?
- steveklabnik 8y agoI believe that this initial version is not quite fully pi types; we did have an RFC for those but it was deemed too large to start off with.
- eddyb 8y agoYes, but limited to being applied at compile-time, with constant arguments. Fully general dependent type would allow passing in runtime values, which is significantly harder to type-check and execute