> A language that plays with types fast and loose is strictly more "powerful" in the sense that it accepts an attempts to execute more programs than a language

> A language that plays with types fast and loose is strictly more "powerful" in the sense that it accepts an attempts to execute more programs than a language with a stringent type system. Not really though. “Dynamic typing” is really just having a single type for everything. Is quite easy to express in a language with variants. Of course, you don’t usually write code like that in a typed language because then your giving up the value of the type system.