instance declarations

Mark P Jones mpj@cse.ogi.edu
Mon, 10 Dec 2001 00:33:25 -0800


Hi Marcin,

| > There's no solid technical reason for this, but Haskell doesn't allow
| > it at the moment because there isn't an easy way to name an instance
| > declaration.
| 
| There is another problem: even if we created a syntax to name them,
| if they would not be exported by default then current programs would
| have to be changed.

You're right of course, although I consider this a pragmatic issue
rather than a technical problem:  I'm thinking of future languages
that are inspired by current Haskell standards but not constrained
by details of the current definition or existing codebase.

All the best,
Mark