Comment on Monads, or Programmable Semicolons (2014)parentComments−mbrodersen6yDependent Types combined with Linear Types. It would have made Rust the ultimate programming language.−steveklabnik6yAh, 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 :)−mbrodersen6yI hope so! That would be amazing
Comments
Dependent Types combined with Linear Types. It would have made Rust the ultimate programming language.
Ah, 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 :)
I hope so! That would be amazing