There's no irony in advocating using a richer array of types in a dynamically-typed language. In fact, static vs dynamic typing doesn't seem apropos here since

There's no irony in advocating using a richer array of types in a dynamically-typed language. In fact, static vs dynamic typing doesn't seem apropos here since it's also common in statically typed languages to use strings for everything, leading to the same problems.