Re: leakproof

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