pair と リスト構造 (1/5)

pair とは？

以下で、説明する cons, car, cdr というのは、 前にリストのところで使ったものの事です。

pair というのは、二つの値の組の事です。 cons という constructor (生成関数) によって作られます。 (cons a b) は、 a を car field に、 b を cdr field にもつ組(二つ組: pair)を作ります。 また、二つの組の各々にアクセスするため car, cdr を用います(参考情報)。 car,cdr は、それぞれpair の car,cdr filed を返します。

但し、以下の 3 行は MzScheme Mode でないと動きません。 これは、Beginner Mode などでは、リスト以外のリスト構造を許していないからです。

> (cons 3 4)
(3 . 4)
> (car (cons 3 4))
3
> (cdr (cons 3 4))
4