Am I an idiot? Re-working language definitions and compilers is _hard_. Instead, why not accept there are flaws and try to catch/fix them? I can see two obvious paths (I'm sure there are more) to address (N.P.I) these issues - top down: AI based code review. Wouldn't that catch 80%+ of common errors? Bottom up: Aggressive hardware fencing of memory access, much finer grained than pages? What am I missing?