[Haskell-cafe] Seeking the correct quote
carette at mcmaster.ca
Wed Apr 28 10:47:43 EDT 2010
Bradford Larsen wrote:
> I don't have the book handy (it was from the library), but I seem to
> remember reading something along those lines in ``Datatype-Generic
> Programming: International Spring School, SSDGP 2006, Nottingham, UK,
> April 24-27, 2006, Revised Lectures'', edited by Backhouse, Gibbons,
> Hinze, and Jeuring.
The spirit is there in quotes like
"The term ‘generic programming’ means different things to different people,
because they have different ideas about how to achieve the common goal
flexibility and safety. To some people, it means parametric polymorphism;
to others, it means libraries of algorithms and data structures; to
it means reflection and meta-programming; to us, it means polytypism,
type-safe parametrization by a datatype "
"Moreover, a parametrization is usually only called ‘generic’
programming if it
is of a ‘non-traditional’ kind; by definition, traditional kinds of
give rise only to traditional programming, not generic programming.
Therefore, ‘genericity’ is in the eye of the beholder, with beholders
programming traditions having different interpretations of the term."
But nothing 'snappy'. Ah well.
More information about the Haskell-Cafe