型システムの相剋と棲み分け

• 型システムの相剋と棲み分け : 構文的に定義される型と、オブジェクトに対して定義される型は違うぞ、という話。

わけありげでたいそうなタイトルですが、内容はたいしたことありません。

記事の冒頭にも書いておきましたが、僕は、このネタを何度も扱った印象があるのですが、まとまった形では何も言ってなかったかもしれません。で、まとめておこうかという趣旨です。