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?
Still not clear exactly what you think was the "bash" against 'C'?
"I thought that you were trying to say that certain problems can be solved better given a more strongly-typed tool"
No, I don't think I would've said that!
I don't think it helps to solve the problem, but it can help to catch (potential) errors in the solution.
Whether there's a net benefit is, of course, the big question...