coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Canonical Structures vs. Type Classes vs. Module Systems

From: "John Wiegley" <johnw AT newartisans.com>
To: Yao Li <liyao AT seas.upenn.edu>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Canonical Structures vs. Type Classes vs. Module Systems
Date: Thu, 12 Apr 2018 12:05:22 -0700
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=johnw AT newartisans.com; spf=Pass smtp.mailfrom=johnw AT newartisans.com; spf=Pass smtp.helo=postmaster AT out3-smtp.messagingengine.com
Ironport-phdr: 9a23:MmQoUBRG3jhqAuBrxOeWso/i/dpsv+yvbD5Q0YIujvd0So/mwa6yYBWN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0ligIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRBDI2icoUADeQPPeFboYnzqVQBogexCBKwBO/z0DJEmmP60Lcm3+knDArI3BYgH9ULsHnMotn7MKASUeCzzKLVzTrDbu1Z2Tj56IfWchEtr+yHULVyccrWyUkvEQ3Eg06WqYP7MTKazP4Ns3Sa7+p7T+2vjXUnpxttrTiow8chk4/EjZ8bxFDD8CV22oc1JdugRU59f9GlHoFftzuGN4t3WcMtWWdouD0gxrIavp67eS4Hw4kkyR7Hc/GKcomF7gj+WOqMPDt0nn1odKihixuw6UStyOzxWtOq3FtEoSdJiNjBu3QX2xDO5cWKTv1w9Vq71zmVzQDc8ORELFg0laXFL54hxaY9lp0OsUTfECL6gV72jKqKdkU84OSo7vroYq79ppCGOI90iwf+Mqswlcy5DuQ4Mw4OUHaB9eug073j+FX1QLRMjvIojqnUqJHXKMUBqqKkHgNZz5wv5hmlAzu40tkUhXwHI0hEeBKDgYjpIVbOIPXgAPe9hFSskDFrxv7dM73nHJrMIGLMkK39fbZ88E5T0gwzzctF651IDbEBJer/WlXtu9zAEh85Lwu0zv77B9V6z4MSQH6AAquEMKzJqlKI/eIuI+yUZIAPojr9Kv4l5+TvjXAjg1Mdc7OpjtMrbyWJF/MuB0TRNX7tk94GOXwHtxF4UfTnjlvEXDJOMSWcRaU5s3sZD4KgRbjCS4+pja3LlHO5GZ1QeUhAB0+FC2vpbIyCQLEHbyfEcZwpqSANSbX0E9xp7hqprgKvjuM/drOFqB1djorq0Z1O38OWkBgz8TJuCMHEjDOLQn59hH8JXDYwx+Z0pkkvkw7fg5g9uORREJlo390MSh0zbMGOyeFlAsruWxnIeMzPQ1GjEI3/XGMBC+kpytpLWH5TXtWviheYhnitHqNO0qeOGIRy96/HxHH+JsByxnDJ1a8syVIhR5kWOA==
Organization: New Artisans LLC

>>>>> "YL" == Yao Li
>>>>> <liyao AT seas.upenn.edu>
>>>>> writes:

YL> 2. How do people usually choose among canonical structures, type classes,
YL> and module systems? Do you have some specific use cases that only one of
YL> them is most suitable? Or do you think people should only use one of them
YL> (and which one would it be)?

I usually choose type classes because: The errors I get from misusing
canonical structures continue to mystify me, and module functors do not
extract to Haskell. Type classes are at least familiar, allow for setting
priorities, and come with Show Typeclasses Debug.

--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2

[Coq-Club] Canonical Structures vs. Type Classes vs. Module Systems, Yao Li, 04/12/2018
- Re: [Coq-Club] Canonical Structures vs. Type Classes vs. Module Systems, John Wiegley, 04/12/2018
  - Re: [Coq-Club] Canonical Structures vs. Type Classes vs. Module Systems, Yao Li, 04/13/2018
    - Re: [Coq-Club] Canonical Structures vs. Type Classes vs. Module Systems, Andrew Appel, 04/13/2018
    - Re: [Coq-Club] Canonical Structures vs. Type Classes vs. Module Systems, Matthieu Sozeau, 04/13/2018
    - RE: [Coq-Club] Canonical Structures vs. Type Classes vs. Module Systems, Soegtrop, Michael, 04/13/2018