K.Maebashi's BBS

># 以前何度か読んで、そのたびに「手続きによる抽象化」について調べようと思いつつ ># 忘れていたらいつの間にか追記がついていた。あれ? すみません（汗）。 当時はまだリスコフの抽象データ型（カプセル化）について理解があさく、 ユーザー定義型に手続きを含むか、含まないかで、それぞれを OOP（あるいは、 手続きによる抽象化。PDA）とするか、ADT（クック独自定義の抽象データ型） とするかという分類はとてもクールに思えて必要以上に持ち上げてしまいました。 その後、リスコフは、手続きを型に含むか含まないかは抽象データ型の実現方法の バリエーションにすぎない（それぞれにメリット・デメリットがある…）と書いてある のを見つけて、追記にように認識を改めた次第です。