Andre W B Furtado
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?