[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: goops and memoization

From: Carl R. Witty
Subject: Re: goops and memoization
Date: 09 Dec 2002 14:59:23 -0800

Mikael Djurfeldt <address@hidden> writes:

> That is an exciting idea.  It would be wonderful to be able to specify
> code re-writing rules such as:
>   (map foo (map bar ls)) --> (map (lambda (x) (foo (bar x))))

The Haskell compiler GHC ( has a mechanism
for specifying such rules; see for a
paper on the topic.

Tom Lord points out that the above optimization does not always
preserve meaning; in general, I would expect many fewer valid
optimizations in Scheme than in Haskell (both because Scheme has side
effects, and because Scheme does not have a strong static type

Carl Witty

reply via email to

[Prev in Thread] Current Thread [Next in Thread]