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
