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

----- Original Message ----- From: "Wolfgang Jeltsch - wolfgang@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