Am Donnerstag, 8. Dezember 2005 04:00 schrieb Jan-Willem Maessen:

On Dec 7, 2005, at 9:58 AM, Wolfgang Jeltsch wrote:

...

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

But the email asked if there were some other way of doing this using run-time techniques in the absence of such a type system (or at least, that was the way I understood it, and the spirit of my answer).

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.

-Jan

[...]

Best wishes, Wolfgang