Hello all, I have been following the recent clashes between various participants (see the post "Compiling differences between C51 v7.03 and v8.06" or "introducing the smoked sardine complex" :) :) ). C was given, I think, a unjustified bash in that post. I wouldn't like to have been compelled to explicitly cast too often. Most potentially dangerous casts can be filtered out by a static code analyzer. Can you give an example of more strongly-typed languages than C that are used in embedded development?
I have never seen any problem that C has too weak type checking.
I agree. C simply requires the programmer to be competent with his tools.
Yes, that is the fundamental philosophical difference between 'C' and Pascal:
'C' requires the programmer to be competent with his tools - it has a "You asked for it, You got it" paradigm. 'C' gives you a powerful weapon - it's up to you not to shoot yourself with it.
Pascal originated as a teaching language; it insists that you state your intentions absolutely explicitly at all times - the theory being that this should force you to think more carefully about precisely what your intentions really are...
Of course the risk is then that you end up not being able to shoot anything at all!