It's using a tiny subset of C++ and C, designed to prevent errors like that, but I wonder how well that works given the F-35 has several years of empirical data now.

https://news.ycombinator.com/item?id=27602606