[racket] Optimizations at the library level.

On Tue, Aug 31, 2010 at 9:01 PM, Patrick Li <patrickli.2001 at gmail.com> wrote:
> Thanks for the suggestions.
> I'm interested in the suggestion about reasoning about data flow actually.
> I'm interested in a systematic way for users to program these optimizations.
> Do you know of any readings that might be helpful to me?

This might be of interest:

http://research.microsoft.com/en-us/um/people/simonpj/papers/c--/hoopl-haskell10.pdf

In general this is a huge problem (equivalent, I think, to the
"sufficiently smart compiler" problem, which itself is equivalent to
solving AI).

HTH,
N.