>>106408099
I like the idea of Ada SPARK. Everything else, not so much.