On 12/27/06, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> > You could say that sum(expression, i, 1, 10) means exactly the
> > same as my notation with sum(lambda([i],expression),1,10).
>
> Yes, I believe this is the correct approach. Things like limit(a,b,c)
> should be treated as syntactic sugar for limit(lambda([b],a),c). The
> internal form should actually use the lambda-expression; the form
> limit(a,b,c) can still be used on output. The advantage of actually
> using the lambda-expression internally is that we have some hope of
> processing this consistently across the whole system -- though of
> course it will take some work.
That makes sense to me. We could hope to treat function arguments
consistently across sum, integrate, limit, plot2d, etc. I'll be interested
to see what you come up with.
All the best,
Robert