Bill Baxter wrote: > So hmm, it does seem conceivable to me that the compiler could enforce > "pure" without needing any explicit const notation. Deducing purity doesn't help when one wants to specify an interface. It would only be useful in verifying conformance to the interface.