> And the ones I did encounter had zero "testing" done to see if they corresponded to the real world.
You can excuse human beings for being unable to write the programs they want, but if they can't even specify the programs they want, they don't deserve the epithet Homo sapiens.
Hence why we need more incremental tools, that allow us to encode more rules into the (type) systems we already use.