Would you pay for GC?

[Paulo Pinto]

On Friday, 28 January 2022 at 15:34:49 UTC, jmh530 wrote:
> On Friday, 28 January 2022 at 11:11:54 UTC, Paulo Pinto wrote:
>> [snip]
>>
>> That is something that would be impossible to put into D's 
>> typesystem, without turning it into something else.
>>
>> [snip]
>
> Well D would do it in a D way rather than in a pony way...for 
> instance pony's val is similar to D's immutable but not the 
> same. The question would be what from pony's reference 
> capabilities would it make sense to add to D. I think the one 
> with the most obvious benefit would be iso. Some people have 
> talked about wanting something like that in the language. It's 
> somewhat different from Rust's borrow checker in that it only 
> allows one mutable alias, whereas Rust allows that or as many 
> const aliases as you want (but not both).

Yeah, maybe that would be possible then.

Still better stabilize D's approach to lifetimes first.