More radical ideas about gc and reference counting

[deadalnix via Digitalmars-d]

On Thursday, 1 May 2014 at 01:20:37 UTC, Walter Bright wrote:
> On 4/30/2014 1:57 PM, deadalnix wrote:
>> I already commented on past similar proposal. These are piling 
>> up more and more
>> hacks to achieve roughly the same thing, badly. This makes it 
>> impossible to
>> provide a 3rd party implementation that is compliant, is 
>> guaranteed to ends up
>> in a nightmarish explosion of special cases, or to be vastly 
>> underpowered.
>
> Actually, I think inference of the ability to implicitly and 
> safely convert from mutable to immutable or shared to be very 
> powerful. I also think it is superior than requiring the user 
> to add ever more annotations, which some research (and my 
> experience) shows that users are reluctant to do.
>
> I don't buy that it is hackish, etc., especially without more 
> of a rationale as to why.
>
> A link to your previous comment would be useful.

I've written several proposal regarding this. Please at least 
read them as what you just wrote only proves you are not well 
informed.

Notably, the proposal do not require annotations from the users 
to do the kind of things are are currently being special cased.