You did actually claim that statically typed languages were worse than dynamically typed ones for correctness:
> My general experience of the correctness software written in fancy statically typed languages is not overwhelmingly positive compared to that of software written in dynamic languages. If anything it trends slightly negative.