[bitc-dev] DISCUSS: pure expressions formalized

Jonathan S. Shapiro shap at eros-os.com
Tue Aug 5 17:33:01 CDT 2008


Correction:

What I described in the previous note as "deeply non mutating" was both
misnamed and mis-described. The actual property I was shooting for would
better be called "confined", and my description was flatly wrong.

Since that really isn't focal at the moment, please just disregard that
part.


shap



More information about the bitc-dev mailing list