On Thu, Jul 31, 2008 at 05:56:14AM -0500, John M. Dlugosz wrote:
> In S04, "Other similar Code-only forms ..."
> What does that mean?

It is feebly attempting to say that, because these are control flow
functions, the argument is really a thunk that the function has
control of when and how it's executed, much like in the constructs:

    $x && thunk
    $x || thunk
    $x ?? thunk !! thunk

It's also basically claiming that thunks have dynamic scope without
lexical scope.  That is, if you said "my $x" in such a thunk it would
propagate to the lexical scope of the statement, but a temp would
presumably not.  But arguably the proper thing would be to outlaw
lexically scoped declarations entirely in such a conditional thunk,
akin to the P5.10 restriction on

    my $x = 1 if 0;


Reply via email to