Carbon Language: An experimental successor to C++