On 12-Mar-2002, Dana Harrington <[EMAIL PROTECTED]> wrote: > > I believe Mercury borrowed their uniqueness type (mode) system from > Clean.
Nope. The support for unique modes in Mercury was developed before we were aware of Clean. They achieve similar aims, but it's a case of convergent evolution, because we were both trying to solve the same problem, rather than borrowing. (This is in contrast to e.g. Mercury's support for type classes, which was pretty much directly lifted from Haskell.) In fact Clean's support for uniqueness is better than Mercury's. In particular, Clean supports uniqueness polymorphism, whereas Mercury only supports overloading on uniqueness. -- Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit The University of Melbourne | of excellence is a lethal habit" WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp. _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
