6 Sep
2006
6 Sep
'06
5:24 a.m.
On Tue, 5 Sep 2006 kahl@cas.mcmaster.ca wrote:
********************************************* * All instance declarations should be slim. * ********************************************* I.e.:
* Instance declarations (and default definitions) should never contain non-trivial function definitions.
* Instance declarations (and default definitions) should only provide ``plumbing'' to make existing functions accessible via the type class resolution mechanism.
* The ``plumbed'' functions should always be exported (since instances are always exported).
I endorse that suggestion. What about adding some note on the Wiki's Style section?