Hi Mark,
thanks a lot for the private lesson. I have downloaded various papers
and started to read them. I'm just done with the Wadler/Blott paper.
I already suspected that I was partly reinventing the wheel with my
translation of type classes. It turned out that my approach is exactly
the same
Hi Heribert,
| The idea is that for every class assertion in the type of a variable,
| the variable gets an additional parameter that will be instantiated by a
| value representing the appropriate instance declaration. These values
| are tuples (let's call them "instance tuples") containing
| - o
On Sat, 11 Sep 1999, Heribert Schuetz wrote:
>
> Most of this is probably well-known stuff and written down in papers.
> Which ones? The Haskell report concentrates on the static semantics of
> classes and instances. It looks like the dynamic semantics is expected
> to be already understood by
