> pretend that dynamically typed languages have no types whatsoever
Indeed, everybody knows they have just one type (:
https://www.google.com/search?q=%22dynamic%22+programming+la...
https://cs.stackexchange.com/questions/63533/untyped-vs-unit...
https://semantic-domain.blogspot.com/2022/01/static-typing-v...