On Feb 26, 2012, at 10:39 AM, Peter Eisentraut wrote:
> On ons, 2012-02-22 at 10:56 -0500, Andrew Dunstan wrote:
>> The trouble with "leakproof" is that it
>> doesn't point to what it is that's not leaking, which is information
>> rather than memory, as many might imagine (and I did) without further
>> hints. I'm not sure any single English word would be as descriptive as
>> I'd like.
>
> Well, we have RETURNS NULL ON NULL INPUT, so maybe DOES NOT LEAK
> INFORMATION. ;-)
If you are willing to go full length, then the computer science term is "referential transparency", no?
http://en.wikipedia.org/wiki/Referential_transparency_(computer_science)
So a function could be described as "REFERENTIALLY TRANSPARENT".
Cheers,
M