[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: order of evaluation
From: |
Ludovic Courtès |
Subject: |
Re: order of evaluation |
Date: |
Sun, 23 Jun 2013 15:46:02 +0200 |
User-agent: |
Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux) |
Andy Wingo <address@hidden> skribis:
> Not sure what to do. The part of me that wants to do aggressive CSE
> wants to transform to a form that fixes order of evaluation, but the
> part of me that wants to be able to shuffle values using the Dybvig
> algorithm wants to do the direct form. Dunno!
I don’t know either ;-), but I think the guideline should be to give as
much freedom as possible to the compiler.
Leaving the evaluation order unspecified is one way to do it; fixing it
internally it not contradictory with that, as long as it remains
Officially Unspecified.
My €2e-3.
Ludo’.