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