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

Reply via email to