Re: uniqueness typing

2002-03-15 Thread Fergus Henderson
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 evolu

Re: uniqueness typing

2002-03-12 Thread Dana Harrington
Andre W B Furtado wrote: > I found the following text when visiting the Clean (a functional language) > site: > > "Clean is the only functional language in the world which has a special type > system, uniqueness typing. It enables to update function arguments > destructively retaining the purity