Grafting Functional Support on Top of an Imperative Language

[Craig Black]

> I suspect that ultimately, a go-between "possibly pure"* qualifier for 
> functions will be desirable, just as const acts as "possibly invariant".
> But that's just a hunch.
>
> *an amoral function -- pure if used in pure surroundings, impure if 
> surrounded in bad company. <g>

Huh?  Is this just a joke or are you being serious?  Are you talking about a 
templated function?  I don't see the point of "possibly pure".

-Craig