New competitor to D

[Ola Fosheim Grøstad]

On Wednesday, 20 July 2022 at 07:23:04 UTC, Nicholas Wilson wrote:
> On Wednesday, 20 July 2022 at 04:02:46 UTC, Ola Fosheim Grøstad 
> wrote:
>> D would be better off taking actors seriously, start giving 
>> ‘shared’ meaning
>
> There's a preview flag for that! Maybe its time to start 
> looking into making it set by default?
>
>> and find a real alternative to the current GC.
>
> We have multiple GC's, there is also std.experimental.allocator.
> I feel it should probably be moved out of std.experimental at 
> some point.

I still believe that the easiest way to give D a better chance is:

1. Clean up syntax and enable precise collection by getting rid 
of type punning of pointers (C union), tagged unions is the 
easiest way to do it (but other alternatives are possible).

2. Formalize execution contexts (Task/Actor/GPUCompute) that 
manage their own memory (GC, Arena, whatever) independent of 
other contexts.

3. Require `shared` for items that are accessible from multiple 
contexts.