Idea #1 on integrating RC with GC

[Andrei Alexandrescu]

On 2/6/14, 6:14 PM, "Ola Fosheim Grøstad" 
<ola.fosheim.grostad+dlang at gmail.com>" wrote:
> On Friday, 7 February 2014 at 01:21:25 UTC, Andrei Alexandrescu wrote:
>> This is a very incomplete, naive sketch. It could be made to work only
>> in a language that has no backward compatibility to worry about.
>
> Whaddya mean? On the object code level? The compiler should be
> conservative and generate the alternatives if needed.
>
> In this day and age a language should aim for whole program optimization
> and static analysis. Not necessarily the proof-of-concept compiler, but
> the language spec.
>
> A system level language should go out of its way to make stack and pool
> allocations likely/possible/probable as well as register based
> optimizations on calls etc.

I'm jaded - Walter and I bounced around for years ideas that vaguely 
prescribe a feature/optimization and gloss over many details and all 
difficulties... they're a dime a dozen.

Andrei