[bitc-dev] procedure parameters

[Jonathan S. Shapiro]

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
language.

But I wanted to throw it out there for discussion...


shap