[bitc-dev] procedure parameters
Jonathan S. Shapiro
shap at eros-os.com
Tue Oct 7 14:18:16 CDT 2008
This only just occurred to me.
Our notion of pure computation permits expressions that *source* mutable
state, but excludes expressions that assign to such state.
It has just occurred to me that we should consider introducing the
requirement that actual parameters must be pure expressions.
I am not certain that this is a good idea; it seems to me that this may
make lots more sense in a block language than it does in an expression
But I wanted to throw it out there for discussion...
More information about the bitc-dev