9 Feb
2006
9 Feb
'06
12:53 a.m.
Ben Rudiak-Gould <Benjamin.Rudiak-Gould@cl.cam.ac.uk> writes:
that i want to say is what the first variant allows to define type of 'x' in such way that the only Show-specific operations are allowed, Why?
Parametricity, what else? I'd much rather pass my precious String to a function of type [a] -> [a] or Functor a => a Char -> a Char than to a function of type String -> String.
But he is writing the function inline. It doesn't matter whether it's polymorphic when it's ever applied only to a string written in the very same line. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/