It wasn't dynamic (vs static) typing that was horrifying the author, it was weak (vs strong) typing.

The unsurprising strongly typed Python example was still dynamically typed.