Re: View on true ad-hoc overloading.

[Patrick Logan]

Fergus Henderson writes:
 > 
 > For that kind of thing, you should use type classes and, if need be,
 > existential types. 

Hmm. Thanks. I misunderstood what "ad hoc polymorphism" is. I thought
ad hoc polymorphism in the new Haskell was accomplished by the use of
existential types.

What is it that existential types allow me to do? I thought they allow
me to define different arbitrary function bodies for the same type
signature and dynamically invoke those functions from a single call
site. Is this not ad hoc polymorphism?

-- 
Patrick Logan                 mailto:[EMAIL PROTECTED]
Voice 503-533-3365            Fax   503-629-8556
Gemstone Systems, Inc         http://www.gemstone.com