DIP1000: Memory Safety in a Modern System Programming Language Pt.1

[Ola Fosheim Grøstad]

On Thursday, 23 June 2022 at 06:52:48 UTC, Ola Fosheim Grøstad 
wrote:
> On Thursday, 23 June 2022 at 06:36:23 UTC, Ola Fosheim Grøstad 
> wrote:
>> Track the object instead and don’t change the type of the 
>> pointer to scope.
>
> I guess this is flow typing too, but it is less intrusive to 
> say that the object is either of type «scope» or type «heap» 
> and that regular pointers can hold both than to change the 
> concrete pointer type.
>
> Specified concrete types should not change.

For people interested in getting more intuition for flow typing:

https://www.typescriptlang.org/docs/handbook/2/narrowing.html

or chapter 3:

https://whiley.org/pdfs/GettingStartedWithWhiley.pdf