Take that to its logical end: a language designed with high-level functions to automate all possible work that, if left to a human to craft, would expose securi

Take that to its logical end: a language designed with high-level functions to automate all possible work that, if left to a human to craft, would expose security vulnerabilities. You know what you have there? A new method for developing software. If we just switch languages every time we have another class of vuln that we want to eliminate, it will take us 1,000 years to get them all. Or we could just get them all today by fundamentally rethinking how we write software. The problem isn't software. The problem is humans writing software. There are bugs because we are using a highly fallible process to create software. If we want to eliminate the bugs, we have to change how the software is created.