[clean-list] "unique" dual to "final"?

[Carlos Aya]

Hi,

I just tought that in Java one can declare a variable
as final and the compiler checks for you that you only
uses x in the RHS of assigment once. I was just
wondering if this is somehow related (dual?) to the
uniqueness check in uniqueness typing the compiler
does... after all, the assignment operator in non-FP
languages is *the* operator that destroys state. Just
a thought :)

cheers
Carlos


      ___________________________________________________________________________________
How would you spend $50,000 to create a more sustainable environment in Australia?  Go to Yahoo!7 Answers and share your idea.
http://advision.webevents.yahoo.com/aunz/lifestyle/answers/y7ans-babp_reg.html