coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: "Igor Zhirkov" <igorjirkov AT gmail.com>
To: "" <coq-club AT inria.fr>
Subject: [Coq-Club] Typeclasses vs canonical instances
Date: Sun, 24 Apr 2016 15:09:15 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=igorjirkov AT gmail.com; spf=Pass smtp.mailfrom=igorjirkov AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f50.google.com
Ironport-phdr: 9a23:AP0fJx9rjM7qMv9uRHKM819IXTAuvvDOBiVQ1KB91+kcTK2v8tzYMVDF4r011RmSDdWdtKkP1rSempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lSsiN1I/qiaibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0vYQIBa79ZuEzSaFSJDUgKWE8osPx40rtVwyKszE9XWIM2ihIAhLG6w+wFsPwvSzgtOtn2y6EFcLzRLEwHz+l6vE4G1fTlC4bOmthoynsgctqgfcDrQ==

Hello,

So far I have seen two ways of implementing typeclasses (iirc): through mixins and canonical instances and the Classes as told in reference manual.

Why would you pick on over another?

Igor

[Coq-Club] Typeclasses vs canonical instances, Igor Zhirkov, 04/24/2016
- Re: [Coq-Club] Typeclasses vs canonical instances, Gregory Malecha, 04/25/2016
  - Re: [Coq-Club] Typeclasses vs canonical instances, Guillaume Melquiond, 04/26/2016
    - Re: [Coq-Club] Typeclasses vs canonical instances, Jonathan Leivent, 04/27/2016
      - Re: [Coq-Club] Typeclasses vs canonical instances, Gregory Malecha, 04/27/2016
        
        Re: [Coq-Club] Typeclasses vs canonical instances, Pierre-Marie Pédrot, 04/27/2016
        
        Re: [Coq-Club] Typeclasses vs canonical instances, Enrico Tassi, 04/27/2016
        
        Re: [Coq-Club] Typeclasses vs canonical instances, Jonathan Leivent, 04/28/2016
        Re: [Coq-Club] Typeclasses vs canonical instances, Jason Gross, 04/28/2016
        Re: [Coq-Club] Typeclasses vs canonical instances, Enrico Tassi, 04/29/2016