My solution to the GC problem

[IGotD-]

On Saturday, 7 January 2023 at 00:18:31 UTC, Menshikov wrote:
>
>
>   string text2 new myAlloc;
>   text2 = text; // error!
>   text2 = new string(text); //ok
>   text2 = move(text); //ok

Ideas how to get of the dlang GC jail is always welcome. One 
question is how is the type information going to be stored when 
you use "string text2 new myAlloc" for example. What is the type 
of 'text2'? Since you want to prevent assignment of a type that 
is allocated differently that information must be stored somehow.

BTW. Beef language looks interesting, haven't paid attention to 
it previously. Worth checking out.