Re:What the Next Generation Needs Is Math, Not Programming
by nateabele on Friday June 12, 2015 @12:05PM
(#9706740)
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.
"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