There is some precedent for a new language that gradually improves safety of an existing language; TypeScript did this to JavaScript and is arguably successful.

There is some precedent for a new language that gradually improves safety of an existing language; TypeScript did this to JavaScript and is arguably successful. I don’t know if Checked C will have the same success story but if devs can easily add this to their existing projects and it catches bugs, that seems like a win to me.