Here's a concrete example of what this is about: "Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the

Here's a concrete example of what this is about: "Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the most basic level cause them to be both fat and weak [...] inability to effectively use powerful combining forms [...] lack of useful mathematical properties for reasoning about programs." [0] It goes without saying that mathematics is at the root of computer science, but we've gotten so far away from those roots, which is why we're reaching the upper bounds of complexity that can be foisted upon our old, broken way of thinking. Time to go back to basics. [0] https://web.stanford.edu/class/cs242/readings/backus.pdf https://web.stanford.edu/class/cs242/readings/backus.pdf