Вне Дартиума эта ВМ мне в данном случае не актуальна. Да и в нем, тащемта, пока лишь любопытства ради, на практике ее не применишь, пока ДартВМ не окажется во всех основных браузерах, а это примерно никогда.
>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 где они нужны и статическими типами в других местах, выглядит и понятней, и эффективней.
Библиотеки импортируются и там, и там, примерно одни и те же.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2014-11-13 04:01 am (UTC)>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 где они нужны и статическими типами в других местах, выглядит и понятней, и эффективней.
Библиотеки импортируются и там, и там, примерно одни и те же.