沢村さんの言わんとしていることは

　抽象データ型＋ポリモーフィズム＝ＯＯ

なんじゃなかろうか？