uniqueness typing

Andre W B Furtado awfurtado@uol.com.br
Tue, 12 Mar 2002 17:16:29 -0300

I found the following text when visiting the Clean (a functional language)

"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 of the language."

Then I have some questions:
1. Can anyone explain what does "update function arguments destructively"
2. If this is a desirable thing, why does Haskell not implement it?

-- Andre