Yes, it could. ATS allows safe swap. Why is the Rust community so stuck in the mud recently?https://twitter.com/pcwalton/status/939585054405140481 …
-
-
Replying to @pasiphae_goals
Yeah I thought the whole point of compiler intrinsics was to more gracefully handle mechanics of computing that aren't necessary to expose in the language, but alright
1 reply 0 retweets 0 likes -
Replying to @myrrlyn @pasiphae_goals
What does that accomplish? How is a compiler intrinsic different from a stdlib api?
2 replies 0 retweets 0 likes -
There's an entire talk on this. It's not a compiler intrinsic but it shows where Rust's safety falls down. https://www.youtube.com/watch?v=zt0OQb1DBko …
1 reply 0 retweets 4 likes -
Replying to @pasiphae_goals @myrrlyn
(good talk) I take no issue with the idea that Rust's type system could be better (I have even proposed ways to make swap safe, which I expect will someday land). I am specifically taking issue with the claim that intrinsics are better safety-wise than unsafe stdlib impls.
2 replies 0 retweets 4 likes -
The original tweet still set up a false dichotomy between unsafe stdlib vs. compiler plugin.
2 replies 0 retweets 2 likes
I’m talking about safety of implementing swap *directly* in the compiler as opposed to the stdlib. Not building swap from other primitives.
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.