On 24-Feb-2000, Jeffrey R. Lewis <[EMAIL PROTECTED]> wrote:
> The example with polymorphic recursion is a nice example. [...]
> Especially given the above example, I don't think that trying to make overlapping
>behave
> consistently, regardless of instance scope, is the right approach.
For Mercu
On 24-Feb-2000, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> wrote:
> Thu, 24 Feb 2000 14:17:43 +0300 (MSK), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
>
> > Seeing `Just x1 == Just x2'
> > the compiler extends *silently* the context for f:
>
> It would mean tha
Marcin 'Qrczak' Kowalczyk wrote:
> The other issue is efficiency if you want f to behave the same way even
> when the instance Eq (Maybe String) is not visible at f's definition.
> It would mean that every overloaded function must be extended to
> directly receive all dictionaries it needs. This
"S.D.Mechveliani" wrote:
>
> The philosophy should be:
> --
> seeing in the program f ["foo","bar","baz"]
> the compiler judges that f applies to certain xs :: [String].
> According to the compiled type of f,
> the instances Eq String, Eq (Maybe Strin
"S.D.Mechveliani" wrote:
> > That is, f receives a dictionary of Eq methods on the type a, as
> > specified in its type. It builds a dictionary of Eq methods on the
> > type Maybe a itself, but the fact that it uses instance Eq (Maybe a)
> > is not visible outside.
>
> No. Probably, here how it s
Thu, 24 Feb 2000 14:17:43 +0300 (MSK), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> > That is, f receives a dictionary of Eq methods on the type a, as
> > specified in its type. It builds a dictionary of Eq methods on the
> > type Maybe a itself, but the fact that it uses instance Eq (Maybe a)
>
[Note the call for demos]
AADEBUG'2000
Fourth International Workshop on Automated Debugging
Munich, Germany, 28-30 August 2000
http://www.irisa.fr/lande/ducasse/aadebug2000/
Call for papers and demos
Over the past d
[apologies if you receive multiple copies of this message]
--
CALL FOR PAPERS
Domain-Specific Languages for Software Engineering
http://marcel.uni-mb.si/marjan/hicss-34/
This Minitra
I thank Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]>
for the helpful example on the subject of overlapping instances.
The example was against the overlapping instances.
And the whole discussion aims to investigate to what extent the
overlaps can be treated consistently in Haskell.
Sorry, if my
