Re: Suggested Corrections to 4.2.3.2 and 4.4.2.15

Stan,

except perhaps for the minor quibbles mentioned below, your solution
addresses the issues I raised very well.  It's a good idea to add an
explicit lambda-based version of the example, I think.

Thanks!

 -- Andreas

On Sat, 28 Jun 2003, Stan Devitt wrote:

>
> Andreas,
>
> You had asked for more detail on the new format for this
> particular example involving fn and curried expressions.
>
> In the end, we have removed the bvar as you suggested.
>
> Our main concern was to
> retain the notion of curried expressions and agree that
> it leaves fewer open questions if we use the functional
> form of the int operator.  I have attached a rewording
> of that example below. Note that it now includes an
> alternative form that avoids the whole issue of the
> fn element.
>
> Once again, it will help us if you can reply to this
> message acknowledging that we have responded to your
> message.
>
> Stan Devitt
> W3C Math Working Group
>
> === start of example ===
>
> By using the deprecated fn element, it is possible to associate a
> qualifier schema with a function before it was applied to an argument.
> For example, a function acting on integrable functions on the interval
> [0,1] can be written:

Shouldn't you use the past tense in the previous paragraph (it *was*
possible, *could* be written)?
>
> <fn>
>    <apply>
>      <int/>
>        <interval><cn>0</cn><cn>1</cn></interval>
>    </apply>
> </fn>
>

You're using lowlimit/uplimit below, and should do the same here.  That
way, you also avoid potential misunderstandings wrt. the ambiguous
interval element, which might confuse the issue here unnecessarily.

> This same function can be constructed without using the deprecated fn
> element by making use of a lambda expression as in:
>
> <lambda>
>    <bvar><ci>f</ci></bvar>
>    <apply>
>      <int/>
>      <bvar><ci>x</ci></bvar>
>      <lowlimit><cn>0</cn></lowlimit>
>      <uplimit><cn>1</cn></uplimit>
>      <apply>
>        <ci>f</ci>
>        <ci>x</ci>
>      </apply>
>    </apply>
> </lambda>
>
> This second form has the advantage of making the intended meaning explicit.
>
> === end of example ===
>
>
>

Andreas Strotmann        /~~~~~~~~\_________A.Strotmann@Uni-Koeln.DE
Universitaet zu Koeln   /|  University of Cologne    \
Regionales Rechenzentrum |  Regional Computer Center  \
Robert-Koch-Str. 10      |     Tel: +49-221-478-5524  |\
D-50931  Koeln         __|__   FAX: +49-221-478-5590  |_____________

Received on Monday, 30 June 2003 05:58:06 UTC