19 Jan
2005
19 Jan
'05
7:25 a.m.
On Wednesday 19 January 2005 12:52, Ashley Yakeley wrote:
I have been musing on the connection between data-types, modules, classes, and implicit parameters, and wondering if there might be some grand scheme to tie it all together. For instance, a module is very similar to class with no type parameters and all members defined. [...]
You will probably find this paper interesting: Wolfram Kahl and Jan Scheffczyk: "Named Instances for Haskell Type Classes", http://www.informatik.uni-bonn.de/~ralf/hw2001/4.pdf I wonder if their (conservative) extensions have ever been contemplated for inclusion in one of the standard Haskell implementations. Ben