Note that we already have HKT in a sense, in that associated types are actually expressive enough to encode higher-kinded type parameters. (I did this yesterday, in fact, when writing Servo code for production.) So “higher-kinded types” needs to be a more specific proposal.
2 Likes
How would you implement trait Monad then?
That requires type-parametrized higher-kinded types, which are less certain than lifetime-parametrized higher-kinded types.
The associated types RFC walks through one possible encoding of HKTs into associated types: https://github.com/rust-lang/rfcs/blob/master/text/0195-associated-items.md#encoding-higher-kinded-types
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.