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.
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?
-
-
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
-
Ooph, yeah. That's too much for me I think.
End of conversation
New conversation -
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.