Ahem: "In Science and Math, formulas are typically one-liners."
really? at what level of maths? I am not entirely sure that programming should move further away from mathematics (when the benefits of functional programming a clearly from moving closer to mathematics).
Right - well I am not sure what he meant, although if he did mean that it makes no sense. From the context I interpreted it to mean mathematical solutions/proofs (maybe I misunderstood).
This is really old, and I'm glad to see it's been cleaned-up, in the sense that a lot of the ideas he had that I really disagreed with and thought were actually clumsy are now missing. I'm happy he's saying this and I know many people are working on this exact problem, including some of the people I admire most, such as Alan Kay.
I disagree strongly with one statement: Programming is not Mathematics. I know what he's trying to say, that the View/Controller of the language shouldn't look like mathematical expressions. But the internal model IS mathematics. That's a big difference.
7 comments
[ 9.4 ms ] story [ 43.7 ms ] threadreally? at what level of maths? I am not entirely sure that programming should move further away from mathematics (when the benefits of functional programming a clearly from moving closer to mathematics).
Let A = [ ... ]
A is a one-line formula.
This Manifesto is deprecated. My views have evolved, and a new version will be released “real soon now”.
I disagree strongly with one statement: Programming is not Mathematics. I know what he's trying to say, that the View/Controller of the language shouldn't look like mathematical expressions. But the internal model IS mathematics. That's a big difference.