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

haskell-cafe.mail.zooloo at xoxy.net haskell-cafe.mail.zooloo at xoxy.net
Thu Dec 8 12:20:10 EST 2005

----- 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



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

More information about the Haskell-Cafe mailing list