On Wed, 8 Jul 1998 [EMAIL PROTECTED] wrote:
> Each expression then has a set of possible types, and the ambiguity is
> resolved by an explicit type signature.
>
> At present it is quite frustrating in Haskell that when a name is used in
> one place it is then lost for use in any other context -- the example of
> an overloaded size function strikes me as very sound.
I don't see why something like
class HasSize a where
size :: a -> Int
doesn't solve this...
-- m
-----------------------------------------------------------------------
Mariano Suarez Alvarez
Departamento de Matematica
Universidad Nacional de Rosario
Pellegrini 250
2000 Rosario - Argentina
e-mail: [EMAIL PROTECTED]
-----------------------------------------------------------------------
El autor no responde de las molestias que puedan ocasionar sus escritos:
Aunque le pese
El lector tendra que darse siempre por satisfecho.
Nicanor Parra, `Poemas y antipoemas' (Advertencia al lector)
-----------------------------------------------------------------------
