proper tail calls

Igor Bukanov igor at
Mon Jan 21 05:34:23 PST 2008

On 21/01/2008, Igor Bukanov <igor at> 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 :

> 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

More information about the Es4-discuss mailing list