組込みスキーム・プロシージャーのコード "pair？"

Question

私はこのスキームを研究し始め、組み込み手続きがどのように「ペア？働く私は組み込みプロシージャのコードを見る方法を見つけることができなかったので、明らかにコードを意味し、それを書く方法はわかりません。私はここにいます。 「リスト」と同じ質問がありましたか？手続きを自分で書いていたが、「ペア？全く分かりません。どうも！

Answer 1

私はあなたが 'ペア？'の実装を探していると思います。ラケットのプリミティブそれはlist.c現在です：もしそうなら

https://github.com/racket/racket/blob/master/racket/src/racket/src/list.c

を具体的に、pair_p_primの定義を見て。

希望すると便利です。

編集：それはなぜラケットで書かれていないのですか？

回答：pair?は、Racket and Schemeのプリミティブです。これは、RacketではRacketで実装されていないことを意味します.Racketが実装されている言語で実装されています。言語のこの部分については、Cです。 Racket実装が下位レベルのプリミティブセットを提供するように更新された場合、pair?関数はもはやプリミティブではないかもしれません。最後に、実装言語が言語 が開発されているものと同じである「ブートストラッピング」実装を提供するために、実装者が古いコンパイラの存在を利用する言語もあります。

希望すると便利です。