[bitc-dev] Issues with mutability.

[Swaroop Sridhar]

Swaroop Sridhar wrote:
> Jonathan S. Shapiro wrote:
>> The monad approach is both stronger and weaker than ACL2 state threading. 
>> Stronger because it allows local state. Weaker because it does not deal 
>> well with composite objects and because it tends to propagate the Monad 
>> types rather further than it has to.
> 
> I don't understand what you mean here. ... 

The issue of updating local state seems straightforward in linear logic, 
or single threaded objects (although I am not too sure about ACL2's 
stobjs).

Swaroop.