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"
Now go and rewrite your dynamic language's runtime in a dynamic language.
https://github.com/robert-strandh/SICL (which I wrote a decent chunk of the compiler backend of.)