1
Programming / Re: Are data type compiler-dependent or target dependent
« Last post by DiTBho on Today at 10:58:16 am »
I know C well enough to see that it is impossible to make it "safe" like MISRA and the various aeronautical etc. rules try to; it is futile.
My point is that MISRA does it make it safer as consequence of making it easier to be automatically debugged.
Easier to be debugged => safer
DO178 is about life cycle, life cycle is also about debugging sessions and test cases, and debugging sessions are about AI-assisted debuggers; what I usually call "ICEs" are smart devices with a super fast optic link (48Mbps) and a strong MMA processors able to understand C at the language level, but you have to help them, that is the purpose of MISRA
myC is more AI-ICE friendly than common C
So, what do you want to achieve, how to verify it, help the ICE AI to help you
Does not sound so terrible ... It is not "dark side", but rather simply collaboration between humans and AI