> How are GATs any less theoretically well founded than HKT?
I'm not aware of their having been studied to the same extent, so I don't have the same level of confidence that they are well-behaved. For example, is there a known algorithm for doing perfect type inference in the presence of GAT? What about when we add in subtyping, or higher-rank types? Maybe it's all going to be fine, but the further you stray from the path that's been trodden by PLT research, the more I'd worry about falling down a hole.
Re:I can't keep up with idiomatic Rust
by steveklabnik on Monday April 13, 2020 @09:24AM
(#22855604)
Gotcha. My understanding was that they were, but not my area of expertise.
I can see how maybe working toward that would be a priority in a PLT research sense, but Rust isn't that kind of language anymore. (This is my own opinion and I'm not on the lang team, mind you.)