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?
BR
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
- Re: [Coq-Club] Typeclasses vs canonical instances, Enrico Tassi, 04/27/2016
- Re: [Coq-Club] Typeclasses vs canonical instances, Pierre-Marie Pédrot, 04/27/2016
- Re: [Coq-Club] Typeclasses vs canonical instances, Gregory Malecha, 04/27/2016
- Re: [Coq-Club] Typeclasses vs canonical instances, Jonathan Leivent, 04/27/2016
- Re: [Coq-Club] Typeclasses vs canonical instances, Guillaume Melquiond, 04/26/2016
- Re: [Coq-Club] Typeclasses vs canonical instances, Gregory Malecha, 04/25/2016
Archive powered by MHonArc 2.6.18.