> The only way to get a satisfactory development experience seems to be to learn Lean.

Or SPARK, if you want to stick to systems languages.