3 ms·
Dependent Types combined with Linear Types. It would have made Rust the ultimate programming language.
by mbrodersen 7y ago
Dependent Types combined with Linear Types. It would have made Rust the ultimate programming language.
- steveklabnik 7y agoAh, we didn't ignore dependent types, though it's true that we don't have them. However, we are moving in the direction of adding them, so maybe in the future, Rust will be that language for you :)
- mbrodersen 7y agoI hope so! That would be amazing