As always: Easy to say, harder to name a specific feature that should be removed.https://twitter.com/mraleph/status/1154503561364951040 …
-
-
I also said nothing about it being easy! Imagine the kind of tools you'd need to prove a linked list safe, and then imagine doing for them what Rust does for regions. This is not an area completely devoid of research.
-
Some time ago I nerdsniped myself into thinking a whole bunch about a language which'd be more like a marriage of SML&C than of Haskell&C++... (pre-emptive: not saying Rust /is/ the latter, just what direction the difference would be in /relatively/)
- 7 more replies
New conversation -
-
-
I think you just argued that c++ and rust are similar because that's implied by the problem space
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.