Re: Narrowing vs. rewriting

From: Philip Wadler <wadler_at_research.bell-labs.com>
Date: Thu, 03 Jul 1997 18:34:23 -0400

Hi Sergio,

OK, we are pretty much in agreement. I think it's perfectly
sensible to try answering John's question and mine in parallel,
rather than in sequence, but that's a minor point.

When comparing Escher with Curry, I do think it's helpful to
include a Haskell solution as well. I like to know when the
gap between Haskell and Curry is narrow (as I think it is for
your example) and when it is wider.

By the way, did you take my point about laziness?

Cheers, -- P
Received on Fr Jul 04 1997 - 01:36:00 CEST