少なくともDartのVMはJavaScriptと同じような動的型付け言語ベースのものだよね。
静的型付け言語的な機能をもった構文パーサで構文解析。
その結果を、動的型付け言語に変換したり、動的型付け言語ベースのVMで実行する。
こんな感じかね？