3 ms·
Haskell supports this, but right from the start Rust was always wary of trying to add higher kinded types, which are necessary to support this.
by logicchains 3y ago
Haskell supports this, but right from the start Rust was always wary of trying to add higher kinded types, which are necessary to support this.
- anonymoushn 3y agoAs a Zig programmer I also get to enjoy this, but from the angle of language implementors not caring about type theory