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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe