Priorities after 1.0

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.