DIP1000: The return of 'Extend Return Scope Semantics'

[Paulo Pinto]

On Saturday, 29 May 2021 at 12:39:48 UTC, Ola Fosheim Grøstad 
wrote:
> On Saturday, 29 May 2021 at 12:32:49 UTC, Paulo Pinto wrote:
>> It goes back to Cyclone, https://cyclone.thelanguage.org/
>
> There you go, with original papers and all.
>
> I still think local GC + ARC for shared is a more convenient 
> path for @safe users, but who am I to judge if people want 
> affine/linear types.

I would rather bet on GC + affine/linear types like Haskell is 
pursuing.

In any case, there is even research trying to make use of C2X 
annotations to retrofit it into C,

https://plv.mpi-sws.org/refinedc/