So, the context for these "... is the next C++" talks, blog posts and papers is largely Chandler Carruth's CppNorth talk: https://www.youtube.com/watch?v=omrY53kbVoA "C++: What comes next?" which is also the "coming out" for the Carbon language.