Marcin 'Qrczak' Kowalczyk writes:
> [...] However in the following case there is an ambiguity that I
> don't know how to resolve - overlapping instances don't solve what
> they seemed to claim to solve:
>
> classA a where ...
> class A a => B a where ...
> classC a where ..
Thu, 10 Feb 2000 23:00:08 +0300 (MSK), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> > Generally it does not fit into my mental model of a Haskell class.
> > How could it be that adding an instance *constrains* what else we
> > can do with a type (define an instance of another class)?
>
> In what
Dear functional programmers,
We are proud to announce the very first release of Mondrian on
Valentine's day 2000. Mondrian is a new scripting language for
internet applications. Want to know more? Visit:
http://www.cs.uu.nl/~afie/mondrian/
Happy Valentine's day,
The Mondrian Team
| > Could we please have lightweight extensible records for Haskell (as
| > in the paper by (Mark|Simon Peyton) Jones in the 1999 Haskell
| > Workshop).
|
| Seconded.
|
| Symmetric record catenation, as opposed to extensibility by one field
| at a time, would make the Haskell even nicer for d
