I don't see how he is obligated to attack anything else with the same vitriol, if he doesn't see the same problems with it. It seems that we might just as well try to declare a moratorium on Haskell programmers' bashing of other languages on the basis that those other languages are not type-safe enough.
Any time someone bashes $FAVORITE, I can just disclose to everyone that they are a ${FAVORITE}-basher and therefore aren't speaking credibly. Hooray!
Surely you don't believe that SML doesn't have its own set of issues? My point is he doesn't criticize SML in the same manner on any issue, for a very good reason: he helped design the language.
I believe SML doesn't have any issue that Robert Harper cares about. It is nearly perfect in all things Robert Harper cares about. Are you suggesting that Robert Harper should care about more things than what he currently cares about?
I disagree with your opinion that he doesn't criticize SML because he was involved in the design. SML is not perfect, but Robert Harper does not criticize SML because SML is Robert-Harper-perfect. Or nearly so.
Any time someone bashes $FAVORITE, I can just disclose to everyone that they are a ${FAVORITE}-basher and therefore aren't speaking credibly. Hooray!