まず最初に英語で書いてから日本に訳すという方法で書いてみた。何か違いが出るだろうか。 Dartはoptional typeを採用している。ある変数に代入できない型を代入しようとした場合、静的型警告が発せられる。ただし、プロダクションモードで実行された場合は、実行に何の影響も及ぼさない。 int x = "hello" ; // static type warning では、代入可能とは一体何か。どのように定義されているのか。13.4 Interface Typesで定義されている。 型Tが型Sに代入可能である場合、すなわち、s = t でtの型がTでありsの型がSである場合というのは、 TはSである。 int s = 0 ; これは当然だ。. Tはnullである。 int s1 = null ; nullは、⊥という特別な型を持っている。これは、どんな型にも代入可能である。 TかS、あるい