• claptrap (1/1) Sep 13 https://safecpp.org/draft.html
• Richard (Rikki) Andrew Cattermole (11/12) Sep 14 Noticeable aspects to this proposal:

claptrap <clap trap.com> writes:

https://safecpp.org/draft.html

"Richard (Rikki) Andrew Cattermole" <richard cattermole.co.nz> writes:

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.