[Haskell-cafe] Top Level etc.
benjamin.franksen at bessy.de
Wed Jan 19 07:25:14 EST 2005
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",
I wonder if their (conservative) extensions have ever been contemplated
for inclusion in one of the standard Haskell implementations.
More information about the Haskell-Cafe