[vacuity]

Perhaps Dijkstra was going for the former, but is it bad to consider a stronger argument along the lines of what he said?

[bazoom42]

A charitable interpretation would be he critizises e.g JavaScripts silent type coercion which can hide silly mistakes, compared to e.g Python which will generally throw an error in case of incompatible types.