Re: [Haskell-cafe] Re: evaluate vs seq

apfelmus@quantentunnel.de wrote:

And what alternatives (besides call by name without sharing) are there?

http://doi.acm.org/10.1145/944705.944731 http://doi.acm.org/10.1145/581690.581694

I always think lazy evaluation is space and time optimal.

Google for "optimal reduction" (Lamping, Asperti, Guerrini, ...). Ciao, Janis. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de