You seem to be the only person in this thread who has grasped this idea; though instinctively to me it feels another formalism like LC is the wrong way to go.
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?
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...