| > >I would like to challenge the assumption here: that programming (in whatever mode) can't be adequately described by mathematics. > Well, the entire lesson of the Halting Problem and Rice's Theorem is that it can't. And in mathematics, division by zero is undefined as well as not all differential equations have analytical solutions. Does that engender a lesson to abandon the rest of what the field provides? > What we can say for FP is that Fast and Loose Reasoning is Morally Correct, and that if we use nicely categorical constructions, then when our programs happen to terminate at all, those nice constructions describe their behavior. Not sure what you are trying to convey with the first "premise" you state, but I can say with certainty that everything after "and that if we use..." can be applied to just about any approach in making a program. Structured Programming: If we use nicely decomposed procedures, then when our
programs happen to terminate at all, those nice
procedures describe their behaviour.
Object Oriented Programming: If we use nicely encapsulated classes, then when our
programs happen to terminate at all, those nice objects
describe their behaviour.
Declarative Programming: If we use nicely declared rules and capabilities, then
when our programs happen to terminate at all, those
nice declarations describe their behaviour.
And (your example quoted here): If we use nicely categorical constructions, then
when our programs happen to terminate at all,
those nice constructions describe their behavior.
|