Safe C or safe binary?
From the description looks like we're not taking about safe language but changes in compiler semantics to build in some runtime checks. Pascal was doing safety checks in runtime in '80s.
Circle/Safe-C++ is modified language, a subset of original + extensions. Leaning toward Rust much more.
So, no I remain unconvinced this is the right direction.
Biting the hand that feeds IT
