C is still prevalent in embedded systems. Something like a clean slate strong type checker to remove C's weak type checking would be greatly appreciated for tho

C is still prevalent in embedded systems. Something like a clean slate strong type checker to remove C's weak type checking would be greatly appreciated for those who mainly work in IOT where C++ is already treated like C with classes.