If Rust is pointless because sometimes you need unsafe blocks, then memory protection is also pointless because sometimes you have to switch to ring 0.
-
Show this thread
-
Replying to @pcwalton
Whether or not that analogy is useful depends on the frequency of unsafe blocks. Also, you don't need ring 0 to make a tree, graph, doubly linked list, benign race, etc.
1 reply 0 retweets 6 likes -
We hit ring 0 for network, FS access, graphics drivers, to set up IPC, etc., so I feel like there's a commonality that using many basic tools involves less-protected code. And that everyone, OS or PL, would love to further reduce need for unsafety!
2 replies 0 retweets 4 likes -
I agree of course, but I don’t think you’re going to convince Filip.
1 reply 0 retweets 1 like -
Convince me of what? You don’t need to convince me that unsafety is bad. That’s why I don’t like Rust. So much work just to get a language that still forces you to write unsafe code.
1 reply 0 retweets 3 likes -
Such dissatisfaction presumes some better alternative, but what is that alternative?
3 replies 0 retweets 2 likes -
Replying to @rocallahan @filpizlo and
I think you may be talking past each other? Rust forces you to use unsafe for things C#, Go, etc. wouldn't. But if you disallow GC, Rust is probably the safest left. There is no better alternative (to anything!) on all axes.
2 replies 0 retweets 1 like -
Replying to @kripken @rocallahan and
You think it’s GC or Rust and no other alternative? I’m assuming we all want something like: strong types, no UB, no GC, no RC (except of hand written).
2 replies 0 retweets 2 likes -
*except if hand written. Basically I don’t consider languages that require RC for type system soundness to be universal enough.
1 reply 0 retweets 0 likes
You can remove me from this conversation thread. Thanks!
-
-
pcwalton->refcount -= 1;
1 reply 0 retweets 3 likes -
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.