I quite like that people are bringing up that Rust, as a language, is almost feature complete. Just a few outstanding proposals that need to be implemented, but that's it. I find it very calming actually. Having a sense of "done" feels really nice.
-
Show this thread
-
In a way I'm sad that things like dependent types or higher-order types might not make it in. But on the other hand: Rust doesn't need to be the only language to exist. Stability is a feature too. Having a continually increasing set of language features makes this hard to reach.
2 replies 0 retweets 5 likesShow this thread -
Replying to @yoshuawuyts
Was there a decision not to implement GATs? If implemented, they might open the floodgates to a scala-esque ecosystem split between people who love hkt's and those who avoid them at all costs.
2 replies 0 retweets 0 likes -
Replying to @sadisticsystems
I believe GATs are still planned. Something about iterators and other structures that require quite some hackery in some situations right now. Higher-Kinded Types don't seem to be planned tho. Curious tho: what pros / cons do you see in the scala ecosystem around HKTs?
1 reply 0 retweets 0 likes -
Replying to @yoshuawuyts
GATs unlock the same expressive powers as HKTs, with the ability to actually start implementing the major players in the typeclassopedia (https://wiki.haskell.org/Typeclassopedia ) in rust
2 replies 0 retweets 3 likes
Ooph, yeah. That's too much for me I think.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.