[Haskell-cafe] Reference for technique wanted

Derek Elkins derek.a.elkins at gmail.com
Sun Oct 31 19:10:40 EDT 2010

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 at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list