Rust and Carbon, why not both

Today&#x27;s post is a little different. Instead of delving into discussiong of formal type systems, I&#x27;d like to step back and talk generally about some aspects of linear type systems as they show up in real life. That means: programming languages and the memory safety discussion today, C++ and Rust. Disclaimer: while the content of this post is very much related to memory safety which is…