Fixing C's Biggest Mistake

[Sebastiaan Koppe]

On Saturday, 31 December 2022 at 02:15:43 UTC, Timon Gehr wrote:
> What's still potentially missing:
> - references/pointers without any null values (fundamentally at 
> odds with T.init, this is why I brought this up in the first 
> place)
> - static checking

Non-null pointers would be a major step forward. Don't know how 
they will fit in with the rest, but I would use them all the time.

As for null, note that in WASM it is a valid address.