DIP1000: The return of 'Extend Return Scope Semantics'

Sun May 30 09:13:35 UTC 2021

On Saturday, 29 May 2021 at 18:21:15 UTC, Paulo Pinto wrote:
> I would rather bet on GC + affine/linear types like Haskell is 
> pursuing.

Haskell is a functional language, so they are in a much better 
position to separating the heap and doing shape analysis.

> 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/

Looks more or less like other languages that focus on full formal 
verification using Hoare logic.