[e-lang] [Caja] Functional auditor for Cajita

[ihab.awad at gmail.com]

On Tue, Dec 8, 2009 at 1:08 AM, David-Sarah Hopwood
<david-sarah at jacaranda.org> wrote:
> David Wagner wrote:
>> If I understand correctly, this seems overly strict.  It should
>> be safe for a functionally pure function to capture and invoke a
>> reference to a non-copacetic function, shouldn't it?
>
> Yes, provided the return value is deep-frozen. In that case, we
> have almost exactly E's Functional auditor (modulo the lack of
> explicit guards).

Or provided the outer function deep-freezes the return value.

  function outer(x) {
    return ___.deepFreeze(nonDeepFreezingFunction(x));
  }

> No, that was an impressively quick and accurate response (but you
> didn't catch the return value error ;-)

I don't think there *is* one. It might be hard to check all that, but still.

Ihab

-- 
Ihab A.B. Awad, Palo Alto, CA