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

[Wolfgang Jeltsch]

Am Mittwoch, 7. Dezember 2005 14:21 schrieb Jan-Willem Maessen:
> [...]

> The principle obstacles are the same as for any reference counting scheme:
> It imposes more run-time overhead than GC does, unless the data structures
> involved are large.

Why?  I think the point with uniqueness typing/analysis is that this is done 
at *compile-time*.

> [...]

Best wishes,
Wolfgang