Guy L. Steele: "Don't you think it is ironic that type theorists who want to talk about strongly typed languages talk to themselves with an untyped language"
No I don't.
Now go and rewrite your dynamic language's runtime in a dynamic language.
Gladly!
https://github.com/robert-strandh/SICL (which I wrote a decent chunk of the compiler backend of.)