Idea: partially pure functions

[Jason House]

Bruno Medeiros wrote:

> Jason House wrote:
>> 
>> and it can't allocate a new C.
>> 
> 
> Says who? If the constructor of C is pure/partial-pure, the calling of
> it should be allowed as well. I don't know however if this will work in
> the planned initial version of the pure system.
> 

Use of "new" causes side effects.  Maybe to a part of code that most
programmers don't care about, but it's a side effect.  This can also be an
important side effect when trying to do multithreading.