tag:blogger.com,1999:blog-9089624119221753010.post4932936410832996611..comments2023-11-30T19:05:15.988+09:00Comments on vallog: syntax-rules: bind-variablesvalvallowhttp://www.blogger.com/profile/08767555476671212941noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-9089624119221753010.post-909281550097145662010-06-03T12:19:51.841+09:002010-06-03T12:19:51.841+09:00>逆に言えば R5RS では Scheme のプログラムはS式でないことになります。 (少くとも明記...>逆に言えば R5RS では Scheme のプログラムはS式でないことになります。 (少くとも明記されてはいません。) これは結構衝撃的な話です。<br /><br />めちゃくちゃ衝撃的な話ですねそれ!(笑)valvallowhttps://www.blogger.com/profile/08767555476671212941noreply@blogger.comtag:blogger.com,1999:blog-9089624119221753010.post-5096669564924192452010-06-02T22:38:51.749+09:002010-06-02T22:38:51.749+09:00あれ、コメント中に山括弧使ったら消えちゃった。
ふたつ目の段落だけ再度書きます。
例えば (disp...あれ、コメント中に山括弧使ったら消えちゃった。<br />ふたつ目の段落だけ再度書きます。<br />例えば (display . ('a)) とすれば普通に a を表示します。 しかし、 R5RS にある手続き呼出しの構文は ( 演算子 オペランド ...) という形式だけです。 ( 演算子 . (オペランド ...)) と言う形式で手続きが呼出せる根拠がないのです。齊藤https://www.blogger.com/profile/07209555400516901861noreply@blogger.comtag:blogger.com,1999:blog-9089624119221753010.post-43162866715719721502010-06-02T22:37:16.915+09:002010-06-02T22:37:16.915+09:00「テンプレート部に」というよりは「Scheme の式に」と言った方が正確でした。
例えば (disp...「テンプレート部に」というよりは「Scheme の式に」と言った方が正確でした。<br />例えば (display . ('a)) とすれば普通に a を表示します。 しかし、 R5RS にある手続き呼出しの構文は ( ...) という形式だけです。 ( . ( ...)) と言う形式で手続きが呼出せる根拠がないのです。<br />R6RS でこれが問題なくなるのは、 Scheme のプログラムがS式である旨が明記されたからです。 S式としては書き方がどっちであっても同じと見做せるので問題ありません。<br />逆に言えば R5RS では Scheme のプログラムはS式でないことになります。 (少くとも明記されてはいません。) これは結構衝撃的な話です。<br />CommonLisp 派が「Scheme は Lisp ではない」と主張する根拠のひとつとして挙げていたのでそれなりに有名な話ではあるのですが、 R5RS だけをよほどきちんと読んでも気付ける人はかなり少ないんじゃないかと思います。齊藤https://www.blogger.com/profile/07209555400516901861noreply@blogger.comtag:blogger.com,1999:blog-9089624119221753010.post-26730829180887513712010-06-02T21:37:58.014+09:002010-06-02T21:37:58.014+09:00いつも教えて頂いてありがとうございます!
勉強になります。
>R5RS においては、 syntax...いつも教えて頂いてありがとうございます!<br />勉強になります。<br /><br />>R5RS においては、 syntax-rules のパターン部にドット対を用いた表現が許されますが、テンプレート部をドット対で組み立てるのは未定義だとされています。<br /><br />えー!そうなんですか・・・。また微妙な・・・。<br /><br />やっぱり、R5RSを読まないとダメですね。。「いつか実装する時でいいや。」と思っていましたが、そうもいかないですね^^;valvallowhttps://www.blogger.com/profile/08767555476671212941noreply@blogger.comtag:blogger.com,1999:blog-9089624119221753010.post-38285549049452035552010-06-02T20:50:45.252+09:002010-06-02T20:50:45.252+09:00R5RS においては、 syntax-rules のパターン部にドット対を用いた表現が許されますが、...R5RS においては、 syntax-rules のパターン部にドット対を用いた表現が許されますが、テンプレート部をドット対で組み立てるのは未定義だとされています。<br />なので、なるべく ... (ellipsis) を使った表現が好ましいと思います。<br />とは言うものの、 R6RS では問題なく使えますし、 R5RS を名乗る処理系の中でテンプレート部にドット対表現が使えないものを見付けられないので実質的には問題にならないでしょうけど。齊藤https://www.blogger.com/profile/07209555400516901861noreply@blogger.com