(quote x)に評価しx、 に(quote (x y z))評価し(x y z)、に(car (quote (x y z))評価することに慣れていxます。理由は単純です。quote は引数を評価せず、そのまま返す特別な形式です。
Racket を使い始めたばかりですが、 がに評価され、 に評価され、 に評価(quote x)されると考えられます。 (quote x)(quote (x y z))(quote (x y z))(car (quote (x y z))(quote x)
実際には、これらをそれぞれ 、 、 と出力しますが、それ'xは'(x y z)同じ'xことです。
誰かがここで理由を説明できますか? 何らかの理由で が と(quote (x y z))評価された場合、(quote (x y z))その車は であるべきではありませんquoteか? どこ(quote x)から来たの?
私が知る限り、Racket は、計算全体を通して、私が慣れ親しんでいるのと同じように内部的に動作しますが、最終結果を出力するときになると、それを引用形式でラップします。これはすべての場合に正しいですか?もしそうなら、なぜそれをしたいのですか?