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