Вне Дартиума эта ВМ мне в данном случае не актуальна. Да и в нем, тащемта, пока лишь любопытства ради, на практике ее не применишь, пока ДартВМ не окажется во всех основных браузерах, а это примерно никогда.

>dart2js, как раз и делает вывод типов, только глобальный и с анализом потока выполнения --- был бы Dart статически типизированный как Haxe - компилировался бы быстрее. dart2js же вообще на аннотации типов не смотрит - он смотрит только на код и что он делает, а потом пытается понять какие типы значений куда попадают.

Хм, а ты точно не про ВМ? На аннотации он смотрит, т.к. ворнингами несоответствие оным выдает. А про Dynamic это и редактор показывает в inferred type, и в доках сказано:
"You might notice when you’re debugging your code that variables with no specified type get a special type: dynamic."

Впрочем, весь этот подход с его optional typing какой-то странный. Тут указываем, тут проверяем, тут выкидываем и не смотрим, тут выводим с нуля, тут определяем в рантайме... Подход Haxe и C#, с явными dynamic где они нужны и статическими типами в других местах, выглядит и понятней, и эффективней.

Библиотеки импортируются и там, и там, примерно одни и те же.