It would be swell if functions could be generic over this capability at compile ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		anonymoushn on Sept 8, 2023 \| parent \| context \| favorite \| on: Maybe Rust isn’t a good tool for massively concurr... It would be swell if functions could be generic over this capability at compile time, so that you could get the same guarantees from the type system without implementing the same protocols more than one time.

logicchains on Sept 8, 2023 | [–]

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 on Sept 8, 2023 | | [–]

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

bobbylarrybobby on Sept 9, 2023 | [–]

Keyword generics!

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