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. _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
