Thu Jan 20 15:05:30 EST 2011

Adding context to values in Haskell: not possible implicitly.

Hmm..  In Scheme it would be straightforward to take something that is
purely functional, and define it over an abstract domain that has
global context.  This is how the abstract interpretation code in
Staapl works.

Can you do something similar in Haskell?  What I mean is: can this be
hidden inside the data type only?

I think the answer is a clear No.  The reason is that Scheme's
strictness and defined order of evaluation is what is actually used to
make the global context evaluation work.  That's exactly the part
that's not accessible in Haskell, and thus needs to be coded