R5RS 7.3. に原始式型による派生式型のマクロ定義がある。 つまり、 define-syntax と syntax-rules を実装すれば、派生式(cond, case, and, or, let, letrec, begin, do, ...) は自分で定義しなくてよい。マクロとして定義できる。変数参照、リテラル式(quo…

R5RS Scheme のエントリの書式について( 1.3.3 )。 ... はの０個以上の出現を示す。 ... はの1個以上の出現を示す。 引数名と型の規約 obj 任意のオブジェクト list, list1, ... リスト z, z1, ... 複素数 x, x1, ... 実数 y, y1, ... 実数 q, q1, ... 有理…