2006年07月07日

リテラル その2

(quote a) -> a
'a -> a
ですが
''a -> 'a
(quote 'a) -> 'a
'(quote a) -> 'a
(quote (quote a)) -> 'a
''a -> 'a
です。
(quote (quote a)) -> (quote a)
ではないのですね。Gaucheでの話ですが。R5RSでは
'(quote a) -> (quote a)
''a -> (quote a)
とあります。
posted by ほえ at 10:47| Comment(2) | TrackBack(0) | Scheme | このブログの読者になる | 更新情報をチェックする
この記事へのコメント
(list ''a) → #t
また、
(car ''a) → quote
(cdr ''a) → (a)
なので、'a は (quote a) と等価なのはご存知の刀利。
Gaucheは「外部表現として」 'xxx を採用してる
ってことでしょう。どっちも同じだから。
Posted by at 2006年09月15日 12:35
今読んだら、「その通りですね」って思いました。
1年以上もたってますが…。
ありがとうございます。

Posted by ほえ at 2008年02月05日 01:34
コメントを書く
お名前:

メールアドレス:

ホームページアドレス:

コメント:


この記事へのトラックバック
×

この広告は1年以上新しい記事の投稿がないブログに表示されております。