型には、コンパイル時のエラーにならず、代入できてしまう。これは、(静的な)強い型付けを期待しているプログラマの想像に、多分、反している。型Tの値は、union型Uに、Uのどれかの型に代入可能である場合に、代入可能である。)ここで、次のようではないのは意図的なものなのではないか、と思われる。型Tの値は、union型Uに、Uのどれかの型に代入可能である場合、かつその場合に限り、代入可能である。)つまり、このあたりの挙動については、型によって安全を保証することを諦めている(のではないか)と思われる。使えば、こういった問題は避けられるからである。実装を読んだわけではなく、いくつかの例で試した結果からの想像である。型のどれにも現れない属性名がないか確認する。どれにも現れない属性名があったら代入できない。この時、その属性の名前のみがチェックされ、型はチェックされない。代入可能かどうかについて試してゆく。側に属性が余ってもエラーにはしない。(これで、前述の仕様は満たされているはずです。月別アーカイブMathJax読み込みはてなブログをはじめよう!metanestさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。