9 ms·
If a typesystem has any impact on the popularity of a language, then i assume rust doesn’t want to copy too much of haskell and needs to know where to stop..
by bsaul 4y ago
If a typesystem has any impact on the popularity of a language, then i assume rust doesn’t want to copy too much of haskell and needs to know where to stop..
- pjmlp 4y agoTypescript. As for Haskell, their motto is "avoid success at any cost" for a reason.
- gpderetta 4y agoC++ sorta has the equivalent of this feature in the form of nested templates. C++ is kind of popular and rust wants to be a direct replacement. Next step: template template parameters!
- kibwen 4y agoThe whole design of GATs is predicated on the notion that Rust doesn't want to go as far as Haskell does here. See boats' comment: https://news.ycombinator.com/item?id=33506540 https://news.ycombinator.com/item?id=33506540