[Haskell-cafe] Reference for technique wanted
wren ng thornton
wren at freegeek.org
Sun Oct 31 21:02:34 EDT 2010
On 10/31/10 7:10 PM, Derek Elkins wrote:
> 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.
Barring the "worse than useless" appellation, the technique has been
around in logic programming (and classic Lisp, IIRC) for a few decades
longer. I've always heard it referred to as part of the folklore of
logic/functional programming though, so I'm not sure of any earlier
print references off-hand.
(Though I find it curious that you think the logic version is so
different...)
--
Live well,
~wren
More information about the Haskell-Cafe
mailing list