Java-like

Marcin 'Qrczak' Kowalczyk qrczak at knm.org.pl
Wed Feb 8 11:53:53 EST 2006


Ben Rudiak-Gould <Benjamin.Rudiak-Gould at 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 at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/


More information about the Haskell-prime mailing list