[Haskell-cafe] Deciding equality of functions.

Patrick Browne patrick.browne at dit.ie
Sun Apr 10 09:46:33 CEST 2011


On 10/04/2011 04:22, wren ng thornton wrote:
> The thing is that a lot of the common optimizations (e.g., TCO)
> completely wreck the inductive structure of the function which, in turn,
> makes it difficult to say interesting things about them.[1]

Could you point me to some Haskell references concerning this point.
Thanks,
Pat


This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean. http://www.dit.ie



More information about the Haskell-Cafe mailing list