Hacker News new | past | comments | ask | show | jobs | submit login

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.



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




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: