C++ becoming memory safe (sorta)

rmeijer <rmeijer-qWit8jRvyhVmR6Xm/[email protected]> Sun, 27 Sep 2015 18:57:37 +0200
Newsgroups gmane.comp.capabilities.general
Message-ID <[email protected]>
As a big fan of both (C++) type-rich programming and 
object-capabilities, the memory safety side of things always kept the 
amazing robustness properties of these two worlds very much separated. I 
thus was very much
surprised when this video came to my attention:


https://www.youtube.com/watch?v=hEx5DNLWGgA

Seems like C++ is starting to enable memory safe coding. While its still 
just a first step, I must say the idea that type-rich programming and 
object-capabilities are moving slightly closer in such a way kinda gives 
me hope that one day the two might come together in a mainstream 
compiled language, possibly even C++.

Any thoughts?