Well, you can get "A Novel Representation of Lists and Its Application to the Function 'Reverse'" by John Hughes online published in 1986 which is referenced by Wadler's 1987 "The Concatenate Vanishes" and references Richard Bird's 1984 paper "Transformational programming and the paragraph problem" though I'd be quite surprised if that was the first place the representation appeared in print. On Sun, Oct 31, 2010 at 6:51 PM, Richard O'Keefe <ok@cs.otago.ac.nz> wrote:
There's a long-known technique in functional languages where [x1,...,xn] => \tail -> x1:...xn:tail xs ++ ys => f . g xs => f []
A correspondent mentioned to me that he couldn't find a reference to the idea (which I gather he had independently rediscovered). I know I've read about it somewhere. Can anyone provide a reference?
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe