I considered making a variant of Go or Pascal that enforced Ada&#x27;s safety properties for common operations by default without anything else in it. Turn it off on a per-module basis still with type or interface checks. Result might get a bit more uptake.