したらばTOP ■掲示板に戻る■ 全部 1-100 最新50 | |

215:2010/09/21(火) 02:55:36 ID:QL14j57g0
今日のR6RS

マクロの定義の位置に来なければならないものは
  transformation procedure か variable transformer に評価される式
である(マクロ展開時に任意のScheme式を評価する必要がある!)
この辺はどういうわけかライブラリの仕様書の方に詳しく書いてあり、
R6RS-core と R6RS-lib に仕様書を分ける意義がいまいちわからん一因になっている気がする

variable identifier をはじめとして枝葉末節をばっさりと無視してしまえば、要するに
「マクロとはsyntaxを受け取ってsyntaxを返す手続き」であると言ってしまうことができる
簡単なマクロを定義するなら普通の lambda があればできてしまう


新着レスの表示


名前: E-mail(省略可)

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

(画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります)

掲示板管理者へ連絡 無料レンタル掲示板