safecpp

[Richard (Rikki) Andrew Cattermole]

On 14/09/2024 10:46 AM, claptrap wrote:
> https://safecpp.org/draft.html

Noticeable aspects to this proposal:

- Solves aliasing by using move constructors, that place the moved from 
variable into the type state reachable.
- Uses type state analysis to handle the memory transfer system using 
library only code.
- Offers only one mutable pointer a time.
- Offers sumtype-like construct with optional types.
- Solves temporal protection of memory using locks (something I want to 
look into for D, but this isn't it).
- Uses lifetime annotations all though out the function body. Very invasive.