>>406
いやまあ、それはいいんだけどその用語ってオブジェクト指向に
偏しているような気もするわけで。Pascalをさしていきなり
「inclusion polymorphismのないstatically typedな言語です」
と紹介しないだろうと思う…

なに、OOPLの型安全性はその2種類に排他的に分類されるって？
それ面白いね、ぜひもっと詳しく聞かせてよ。それ以外にナイ
っていうところがよくわからない。