Previous: Abstract Objects, Up: Def Cmds in Detail


15.4.6 データの型

データの型に対するコマンドには以下のものがあります.

@deftp category name attributes...
@deftpコマンドは,データの型に対する一般的な定義コマンドです.そ のコマンドは行の最初に書かれ,同じ行にカテゴリ,型の名前(intfloatのようなもの),そして型のオブジェクトの属性名が続きます.こ のため,このコマンドをintfloatを記述するために使用するこ とが可能で,その場合,カテゴリとしてdata typeを使用することも可能 でしょう.(データの型は,実行可能なオペレーションを決定する目的に対する, 特定のオブジェクトのカテゴリです.)

例えばLispでは,pairは特定のデータの型に名前を付け,その型のオブジェ クトはcarcdrと呼ばれる二つのスロットを持ちます.pair の定義の最初の行を書く方法は以下のようになります.

          @deftp {Data type} pair car cdr
          ...
          @end deftp

テンプレートは以下の通りです.

          @deftp category name-of-type attributes...
          body-of-definition
          @end deftp

@deftpはデータの型の索引に項目を作成します.