It hardly brings anything new to the table in such cases, given its approach to safety.
Most of it you can already get in C and C++, by using the tools that have in the market for the last 30 years.
Most of it you can already get in C and C++, by using the tools that have in the market for the last 30 years.