Re: Variable and option binding proposal

/ Alessandro Vernet <> was heard to say:
| On Mar 26, 2008, at 7:31 AM, Henry S. Thompson wrote:
|>> I don't think that's a necessary restriction. There's no reason why I
|>> shouldn't be able to initialize two or three variables right before
|>> the p:choose that needs them.
|> Hmm.  I guess.  Given that I think we definitely should _evaluate_
|> them all at the beginning, I thought it was simpler to _put_ them all
|> at the beginning. . .
| I don't think we need to say that variables are all evaluated at the
| beginning. Instead, each variable can be evaluated the first time it
| is used. It may render the implementation slightly more complicated,
| but not unreasonably so.

Interestingly, I reached the opposite conclusion thinking about it
this morning.

The document order of steps is irrelevant in practice. That means we'd
rules about what happens to variables that occur between steps when
the steps are reordered. I don't think it'd be easy to understand
those rules.

So, at least for V1, I think I'm content to say variables go at the

                                        Be seeing you,

Norman Walsh <> | There is a road from the eye to the            | heart that does not go through the
                              | intellect.--G. K. Chesterton

Received on Thursday, 27 March 2008 14:57:11 UTC