4 ms·
> GATs Oh, fantastic! I realize I'm probably in a very specific minority here, but I've been waiting on this one for literally years.
by mintplant 8y ago
> GATs
Oh, fantastic! I realize I'm probably in a very specific minority here, but I've been waiting on this one for literally years.
- kibwen 8y agoTo help people follow along, GAT stands for Generic Associated Types.
- geogriffin 8y agoI have ran into a couple places I needed GATs while writing abstractions, without realizing beforehand it'd lead to needing GATs. This is especially true with lifetimes, which I'm not used to thinking about as part of an abstraction.. I think it will naturally open up doors for everyone without anyone necessarily realizing it apriori.
- Grollicus 8y agoFor people confused like me: GAT in this case means "Generic Associated Types" https://rust-lang.github.io/rfcs/1598-generic_associated_types.html https://rust-lang.github.io/rfcs/1598-generic_associated_typ...
- seeekr 8y agoThis RFC has an explanation of Higher-Kinded Types that enabled me to understand what is meant by HKTs for the first time. Unexpected & awesome! Thanks for linking!
- tijs 8y agoHuh... Safari on iOS crashes on that page
- steveklabnik 8y agoInteresting, it doesn’t crash for me!
- deleted 8y ago[deleted]