On Fri, Dec 9, 2011 at 1:37 PM, Brian Anderson <[email protected]>wrote:
> Purity by default is attractive. I don't know what's involved to make it > happen. It would be an interesting project > to go through the rust code base and see how much can be made pure. In addition to mutating their own local state, would it be tenable if 'pure' functions were also allowed to modify inout arguments explicitly passed by mutable reference? It would be like an effect type encoded in the argument kinds of the function. I think this would allow mutator functions to be applied to a pure function's local state without propagating impurity. -Joe
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
