4 ms·
Rust has a very powerful type system, and combining that with lifetimes makes for some crazy signatures that really hurt my brain. The type system grows more p
by jakevn 11y ago
Rust has a very powerful type system, and combining that with lifetimes makes for some crazy signatures that really hurt my brain.
The type system grows more powerful (and more complex) every time I revisit Rust, it seems.
I'm glad, as an increasingly powerful type system facilitates abstractions that were once painful, slow, unsafe, or impossible, but it is complex.
- kibwen 11y ago> The type system grows more powerful (and more complex) > every time I revisit Rust, it seems. There have been no additions to the type system since well before 1.0. I'm curious where this perception is arising from.
- pcwalton 11y ago> Rust has a very powerful type system, and combining that with lifetimes If you don't count lifetimes, Rust's type system isn't really more powerful or complex than, say, that of Swift. There are no dependent types here. There are no type families. There aren't even higher-kinded type parameters. > The type system grows more powerful (and more complex) every time I revisit Rust, it seems. What additions are you referring to?
- Alphasite_ 11y agoI wouldn't say Swift's type system is particularly simple, I rather like it, but it does have a lot of complexities.