3 ms·
The example is indeed very good, but I think it is more about faking HKT with GAT and I'm not sure that was the primary motivation for GAT in rust.
by gpderetta 4y ago
The example is indeed very good, but I think it is more about faking HKT with GAT and I'm not sure that was the primary motivation for GAT in rust.
- Macha 4y agoI thought that was pretty much the motivation. HKTs are hard - hard to implement with Rust's low overhead goals, and hard to teach to newbies. My understanding is that GATs came about as some simpler lower hanging fruit to try first.