The Coq mailing list

[Andrej Bauer <andrej.bauer AT andrej.com>]

On Tue, Nov 15, 2011 at 8:13 AM, Vincent Siles
<vincent.siles AT ens-lyon.org>
 wrote:
> I already explained to you that these classes are not the same the
> classes you can find in object oriented programming like Java or C++.

Let me try.

Dear Victor, in Coq CLASSES ARE NOT LIKE JAVA AND C++ CLASSES. THEY
ARE LIKE HASKELL CLASSES, WHICH ARE NOT LIKE JAVA OR  C++ CLASSES.
Perhaps this will help:

http://www.haskell.org/haskellwiki/OOP_vs_type_classes

With kind regards,

Andrej