LISPにドットペアを導入する理由は何ですか？

Question

既存のリストタイプですべてをカバーしている間に、ドットペアタイプをLISPに導入する歴史的な理由は誰に分かっていますか？

また、私はドットペアがしばしば私を混乱させるので、これに興味があります。

Answer 1

McCarthyの1960年の論文、"Recursive Functions of Symbolic Expressions and Their Computation By Machine, Part I"をお読みください。

彼はS式を定義することから始めます。規則の1つは、e1がS式でe2がS式である場合、< e1です。 e2>は、点線の対でもあるが、S式である。

数行後、リスト表記法を点線ペアの連鎖で構成された式の省略形として定義します。

これは、最終的にLISPになるものを最初に定義した論文でした。 Steve "Slug" Russellが最初のインタプリタを実装するまでは、実際のプログラミング言語にはなりませんでした。

Answer 2

既存consタイプはすべて（リスト関連）をカバーします。点対記法は、単にconsリテラルの構文です。

Answer 3

あなたの質問にコメントを読むことができるので、点在するペアは既存のリストタイプの隣には導入されませんでした。代わりに、最初のデータ構造として導入され、リストは点線のペアで実装されます。ドット対を選択した理由を、私はそれは、元のLISPシステムは、上で実装されたハードウェアによって導かれたと信じて質問に関しては

：IBM 704としてはthe wikipedia article on car and cdrで読み取ることができますが、それは36ビットを持っていました2つの15ビット・ビットと2つの3ビット・パートの4つの部分でアクセスできます。
このようなハードウェアでは、機械語の2つの15ビット部分のそれぞれに15ビットのアドレスを入れて、ボイラーには「点線の対」があります。

システムの設計の詳細については、the History of Lispも参照してください。