[Haskell-cafe] Re: language proposal: ad-hoc overloading

[Gracjan Polak]

Philippa Cowderoy <flippa <at> flippac.org> writes:
> > > Haskell already has one method of overloading: type classes. What you
> > > propose is a seemingly innocent extension that I now doubt has
> > > extremely far-reaching consequences into the language. Such a feature
> > > should be properly researched before it is added to the language.

http://homepages.dcc.ufmg.br/~camarao/CT/

-- 
Gracjan