C is Brittle D is Plastic

[Richard (Rikki) Andrew Cattermole]

On 05/04/2026 12:15 PM, Cid Lib wrote:
> On Friday, 3 April 2026 at 16:50:52 UTC, Walter Bright wrote:
>> C changes all the time.
>>
>> My proposal for arrays is completely upwards compatible with C. It 
>> won't break anything.
> 
> When a project needs that kind of safety, the answer should not be to 
> try to 'fix' C.
> 
> Instead you should to move to a language that was built with safety 
> principles from the ground up.
> 
> Fixing 'pointer decay' with fat pointers is like upgrading the locks on 
> your front door while the house is built on a shifting swamp.

That's right.

This is why static analyses engines like Astrée exist.

If you're not using the best analysis engine in existence to prove 
safety, you are not safe.

Only C, and C++ are supported.

Changing languages doesn't fix this.

https://www.absint.com/astree/index.htm