Zero-cost HKT in Rust This article propose the use of a quant | Technologique
Zero-cost HKT in Rust
This article propose the use of a quantified class constraints as an extension to type classes and as a solution to provide statically-sized and therefore statically compiled, and thus zero-cost (i.e. without run-time dynamic dispatching of types) higher-kinded types (HKT) in Rust!
http://blog.ielliott.io/sized-hkts/
Here's the code which is demonstrate the solution using quantified class constraints:
https://github.com/LightAndLight/sized-hkts
PS: There's also exist more earlier RFC proposal to addition of generic associated types (GAT) to the Rust type system as a solution for statically complied zero-cost abstractions of a higher kinds, which is still isn't resolved:
