undefined | Better HN

0 pointslogicchains2y ago0 comments

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.

0 comments

As a Zig programmer I also get to enjoy this, but from the angle of language implementors not caring about type theory

j / k navigate · click thread line to collapse

As a Zig programmer I also get to enjoy this, but from the angle of language implementors not caring about type theory

j / k navigate · click thread line to collapse