I would rather resist the temptation if I can avoid it. I'm so frustrated with what we've come to tolerate with software.

Ada/SPARK seems to be trying to make a comeback, something I welcome. They are interacting with the 'maker community' [1] and the online learning resources have improved a ton.[2] SPARK is even taking some inspiration from Rust. [3]

[1] https://www.makewithada.org/ [2] https://learn.adacore.com/ [3] https://blog.adacore.com/using-pointers-in-spark