http://try.dartlang.orgにはチェックモードを有効にするチェックボックスがある。「main() { int a = "abc"; print(a); }」と入力して、チェックモードを無効のままにして実行すると「abc」という結果が出力される。これをチェックして実行すると「Failed type check: type String is not assignable to type int」というエラーが出力されて「abc」は出力されない。

これと同じようなことをdartコマンドで実現するにはどうすればいいだろうか。

dart sdk のコマンドは、デフォルトではプロダクションモードで動作する。チェックモードで動作させるには「dart --enable_type_checks=true a.dart」のようにしてenable_type_checksオプションをtrueにすればいい。ちなみに、dart sdk に含まれるdartのコマンドオプションは、あまり知られていないが、--print_flags というオプションをつけると表示される。