IMO Rust is more than an incremental improvement. Every *ring* object is thread safe and (use-after-free)-free w/o any mutexes/atomics.
Replying to @BRIAN_____ @fugueish and
OTOH, I also agree that it's time for dependent types or other formal methods integrated into general purposes languages, like ATS2.
0 replies
1 retweet
1 like
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.