I don't expect videogames to be the first to successfully solve the problem of statically checking code for correctness ;-) I'm astonished how stable so many mods are, given the environment they run in and the lack of almost any payment for the work.
The Minecraft Java world at least starts with static types and memory safety. It'd be interesting to see if that results in a mod ecosystem that's more stable.
The Minecraft Java world starts with decompiling bytecode, replacing methods, and recompiling it. I struggle to think what could be further from either static types or memory safety - although at least that happens in the mod loader, and the mod code needn't be aware of how the sausage is made.
I don't think any of those steps significantly disrupt type checking or memory safety. It's hacky as all hell but it's still constrained by the JVM and bytecode validity.
The Minecraft Java world at least starts with static types and memory safety. It'd be interesting to see if that results in a mod ecosystem that's more stable.