On Tue, Jun 14, 2005 at 12:33:34PM +0000, Ingo Blechschmidt wrote:
: Hi,
:
: sub proxy () is rw {
: return new Proxy:
: FETCH => { 42 },
: STORE => -> $new { 23 };
: }
:
: say proxy(); # 42
: say proxy() = 40; # 40, 23, or 42?
:
: Currently I think the last line should output 40, consider:
:
: sub innocent_sub ($var is copy) {
: my $foo = ($var = 40);
: # Do something with $foo, relying on $foo being 40.
: }
:
: { my $x = "does not matter"; innocent_sub $x }
: # Works
:
: { my $x := proxy(); innocent_sub $x }
: # Would break if (proxy() = 40) would not return 40.
:
: But I can argue that the return value of Proxy object should
: be the return value of the code given by FETCH in the Proxy
: object construction, too...
:
: Opinions?
The intention is that lvalue subs behave in all respects as if they
were variables. So consider what
say $nonproxy = 40;
should do. This also extends to other operations than assignment:
temp $foo.bar() = 40;
or the very-nearly-Software-Transactional-Memory-oriented:
let $object.attribute() = 40; # hope this sticks...
Larry
