Type state analysis

[Richard (Rikki) Andrew Cattermole]

On 18/03/2024 12:25 AM, claptrap wrote:
> On Sunday, 17 March 2024 at 06:51:23 UTC, Richard (Rikki) Andrew 
> Cattermole wrote:
>> This proposal introduces a new semantic pass, that uses an IR to 
>> analyse memory transfers and the different states it can be in.
> 
> Any examples of languages that use this and what it provides?

 From Wikipedia:

 > Typestate is an experimental concept that has not yet crossed over 
into mainstream programming languages. However, many academic projects 
actively investigate how to make it more useful as an everyday 
programming technique. Two examples are the Plaid and Obsidian 
languages, which are being developed by Jonathan Aldrich's group at 
Carnegie Mellon University.[16][17] Other examples include the Clara[18] 
language research framework, earlier versions of the Rust language, and 
the >> keyword in ATS.[19]

This is the bleeding edge of research.

https://en.wikipedia.org/wiki/Typestate_analysis

If we get this, we'll be writing the literature.