Re:Goodbye, Clean Code
by hiAndrewQuinn on Friday December 08, 2023 @05:03AM
(#38567214)
Oh, wait, does Rust not have kinds? That's a bummer.
Rust has GAT's which have the same expressivity as HKT's. But many Haskell patterns turn out to be unidiomatic in Rust due to extra overhead. (For instance Rust has multiple function-like traits that access their environment differently. There's no equivalent to this in Haskell of course; GC and default boxing choices for Haskell types obviate the issue, but this is not zero cost.)
No. When trying to use Rust's traits like Haskell you learn really fast why higher kinded types are needed.