Get the latest tech news
The Language That Never Was
ow, where do I even start... Ah, games, yes I guess that's a good start.
Having made a language that took this alternate set of tradeoffs (but more on that next ), I actually spent an awful lot of time thinking about this, and became aware of the other situations in which breaking aliasing xor mutability makes things go south beyond your favorite reddit counter-argument. The closest thing you could utter in Rust would be Rc<RefCell<T>>(remember, we're proudly single threaded), except here we (i) are not telling LLVM these references are exclusive via noalias and (ii) take proper care to guard against nasty situations like iterator invalidation in our safety model. We should take one last tangent and discuss Unity, since I brought it up: Many of the things I've come to appreciate from C#, such as their excellent SIMD accelerated types in the standard library, most of the cool parts of their ref borrow checker and the juicy nullability checks that protect my foot from the null gun...
Or read this on Hacker News