Re: [Liberty-eiffel] Closures

[Cyril ADRIAN]

Hi,

The rationale is that it is the role of the outside feature to initialize its local variables; but on the other hand it must be able to delegate some computation to inline agents. If you forbid side effects, how would the inline agent be able to communicate with its outside feature?

I try and look beyond mere sequential programs (SCOOP is always lurking somewhere). Assigning to a variable is not thread-safe, but side effects are safe if SCOOP locking rules are respected. But that's a future story (not before curtiss or even beyond) ;-)

I'm not even sure I should allow post-assignment to outside locals (see TEST_CLOSURE02). I allow it because the inline agent has not yet been called (but that is not checked by the compiler).

The line is hard to draw.

Cheers,

Cyril ADRIAN (from office)
To any NSA and FBI agents reading my email: please consider whether defending the US Constitution against all enemies, foreign or domestic, requires you to follow Snowden's example. 

Get a signature like this. CLICK HERE.

​

2013/11/19 Raphael Mack <address@hidden>

Hi,

oh Cyril, you're so great!

In the wiki you wrote:
"access is read-only: you cannot assign to an outside local variable
(and, of course, to an argument, but that's standard Eiffel anyway)"

What is the rational for this? - I like the rule, but when we have it,
wouldn't it be inline to also forbid feature calls with (observable)
side effect on the outer variables? - Yes, we do not have a concept of
"pure" features in Liberty, but may be we would like to have it once? Or
now?

Cheers,
Rapha

On Di, 2013-11-19 at 15:59 +0100, Cyril ADRIAN wrote:
> All,
>
>
> I started Bell implementations, esp. inline agents as closures.
>
>
> Of course, the work is only begun. It currently lies only in my public
> Github repo and is not pushed in Savannah yet.
>
>
> I also added a little explanation of what I intend to do in the wiki.
> See: http://wiki.liberty-eiffel.org/index.php/Agent#Inline_agents
>
> Feel free to comment.
>
> Cheers,
>
> Cyril ADRIAN (from office)
> To any NSA and FBI agents reading my email: please consider whether
> defending the US Constitution against all enemies, foreign or
> domestic, requires you to follow Snowden's example.
>
>

> Google+ Posts
> My latest G+: Liberty Eiffel
> adler-rc1 is out!
> My G+ - Posts - Add to Circles -
> 21:01 Nov-05
>   Get this email app!
>

> Get a signature like this. CLICK HERE.
> ​