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

7 Dec 2005


      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

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

Wolfgang Jeltsch