[weavejester]

"A dynamically typed language is a statically typed language with precisely one type."

You still have types; they're just not checked at compile time.

[wz1000]

You can have dynamic "type-tags" for your unityped language too. That is what is done in the EDN ADT described in the article.