Would you pay for GC?

[jmh530]

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