Communicating between in and out contracts

[Denis Koroskin]

On Sat, 17 Oct 2009 00:22:54 +0400, Andrei Alexandrescu  
<SeeWebsiteForEmail at erdani.org> wrote:

> Jason House wrote:
>> if fun or gun is impure, then they should not be callable by the
>> contracts. Because of that, order is irrelevant.
>
> 1. Restricting calls to pure functions is sensible, but was deemed too  
> restrictive.
>
> 2. Even so, there's difficulty on what to cache. The amount cached may  
> depend on both the old and new object (in my example it only depends on  
> the old object).
>
> 3. There's too much hidden work and too much smarts involved. I just  
> don't think that's a feasible solution with what we know and have right  
> now.
>
>
> Andrei

When not just let users one variable of type Variant per contract to store  
whatever they want?