[Haskell-cafe] Can't Haskell catch up with Clean's uniqueness typing?

[haskell-cafe.mail.zooloo at xoxy.net]

----- Original Message ----- 
From: "Wolfgang Jeltsch - wolfgang at jeltsch.net" 
Sent: Thursday, December 08, 2005 6:13 PM
> 
> I thought that the original question was about using some kind of uniqueness 
> type system at an intermediate stage during compiling.  Haskell would still 
> have no uniqueness types but the compiler would infer uniqueness types 
> internally and use the uniqueness information it gets from this.
> 
 
Right, that's what I was having in mind. See also http://www.haskell.org/pipermail/haskell-cafe/2005-December/012625.html


Regards, 

zooloo



-- 
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.1.371 / Virus Database: 267.13.12/192 - Release Date: 05.12.2005