On 21/01/2008, Igor Bukanov <[EMAIL PROTECTED]> wrote: > then I would prefer to make the tail calls an optional optimization in > the same way as the type checker is optional.
And if Haskell language specs can leave the issue of tail call optimization up to implementations, then I do not see why ES4 can not do the same. >From http://www.haskell.org/onlinereport/intro.html : > This report defines the syntax for Haskell programs and an informal abstract > semantics for the meaning of such programs. We leave as implementation > dependent the ways in which Haskell programs are to be manipulated, > interpreted, compiled, etc. This includes such issues as the nature of > programming environments and the error messages returned for undefined > programs (i.e. programs that formally evaluate to _|_). Regards, Igor _______________________________________________ Es4-discuss mailing list Es4-discuss@mozilla.org https://mail.mozilla.org/listinfo/es4-discuss