Dreaming of a “harmless” language mode

Here was an idea of how to have unchecked exceptions implementation (also see a couple more refining posts down that thread) that won't have too much performance implications. But that's different to what OP has in mind (compile time checks).