Re: cool rant on linear objects

* Joachim Durchholz:

> Paul Rubin schrieb:
>> I just came across this.  I would have thought it is well known (maybe
>> it is),
>
> I think this is implemented in the form of "uniqueness types" in Clean.
> I'm not sure whether the people who designed Clean read Henry Baker's
> essay, or whether Baker and the Clean people simply drew from the same
> sources.

Some compilers also contain optimization passes to infer this type
information.  Typically, it's called escape analysis.  It's used to
improve aliasing analysis, turn heap allocation into stack allocation,
and for lock elision.