I notice that rust has had generic associated types since 1.65. Are there plans for higher kinded types?
I'm not aware of any concrete efforts like a working group or such that would push for full higher-kinded polymorphism. The GAT RFC reads very optimistic though.
1 Like
This tracking issue exists now, but note that it's for bounds only, not types (so far).
1 Like
This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.