The Coq mailing list

["John Wiegley" <johnw AT newartisans.com>]

>>>>> CHAUVIN Barnabe 
>>>>> <barnabe.chauvin AT gmail.com>
>>>>>  writes:

> Is there a workaround to overload Defintion (like in C++ for example). I
> mean, have two definitions with the same name, but with different parameters
> types.

If you're into some reading, this could be of interest too:

    http://www.mpi-sws.org/~beta/lessadhoc/

It's a slightly different approach than type classes, but aims to achieve
something similar (at least, that's how I read it, perhaps others can help
clarify).

John