I'm new to programming, so I don't have much street cred. But I've heard others call LC "the assembly language of math"[1]. And I think functionals are really neat. So imho, I suspect LC's more than a formalism. But it drives me up the wall that it doesn't have an elegant subtraction analog. This leads me to believe there must be something better.
The answer sure can't be the Apple thing you mentioned. I imagine it's a just a gui, a kludge. But if not LC, then what do you think?
Comments
I'm new to programming, so I don't have much street cred. But I've heard others call LC "the assembly language of math"[1]. And I think functionals are really neat. So imho, I suspect LC's more than a formalism. But it drives me up the wall that it doesn't have an elegant subtraction analog. This leads me to believe there must be something better.
The answer sure can't be the Apple thing you mentioned. I imagine it's a just a gui, a kludge. But if not LC, then what do you think?
[1] http://matt.might.net/articles/compiling-up-to-lambda-calcul...