1 Introduction ぱらぱらめくる『Purely Functional Data Structures』

• データ構造を説明する前に用語の混乱を避けるための注意をしておく
  • An abstract data type : 型と型のために作られた関数群のことで、abstractionと呼ぶことにする
  • An concrete realization of an abstract data type : Implementation(実装)のことを指す。「どういう風に設計するか」ではあるが、実際にコードを書くこととは限らない
  • An instance of a data type, such as a particular list or tree : あるデータ構造の具体例としてのinstanceをobjectとかversionと呼んだりする
  • A unique identity that is invariant under updates : データ構造というものは抽象的で、その実装を改変してとしても本質的な部分は不変である、とかそんな意味