News for hackers. Stuff that matters.

A comment on Async Rust Is A Bad Language. Parent comment

Re:Async Rust Is A Bad Language by anonymoushn on Friday September 08, 2023 @01:57PM (#37437047)
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.
[ Parent | on HN ]
Re:Async Rust Is A Bad Language by logicchains on Friday September 08, 2023 @02:29PM (#37437464)
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.
[ Parent | on HN ]
Re:Async Rust Is A Bad Language by anonymoushn on Friday September 08, 2023 @03:42PM (#37438446)
As a Zig programmer I also get to enjoy this, but from the angle of language implementors not caring about type theory
[ Parent | on HN ]
Re:Async Rust Is A Bad Language by bobbylarrybobby on Friday September 08, 2023 @09:02PM (#37441170)
Keyword generics!
[ Parent | on HN ]