3 ms·
> You get haskell type system No. When trying to use Rust's traits like Haskell you learn really fast why higher kinded types are needed.
by ReleaseCandidat 3y ago
> You get haskell type system
No. When trying to use Rust's traits like Haskell you learn really fast why higher kinded types are needed.
- hiAndrewQuinn 3y agoOh, wait, does Rust not have kinds? That's a bummer.
- zozbot234 3y agoRust 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.)
- deleted 3y ago[deleted]
- adastra22 3y agoWhat is Rust missing out on?