Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Typeclasses vs canonical instances

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Typeclasses vs canonical instances


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page