爲mit scheme添加for循環語句

Mit-Scheme不支持syntax-case, 只能用它的er-macro-transformer來編寫。Mit-Scheme的宏系統比較低級，不支持模式匹配和literal。

使用pmatch能獲得一個可用的模式匹配，爲了簡潔這裏使用了pmatch，沒有pmatch也能夠編寫一樣的宏，但囉嗦一點。沒有literal就致使代碼裏面盡是反引號和逗號。完成的代碼看起來很囉嗦，但編寫時卻比較簡單，先寫一個與使用syntax-case時相同的transformer，而後再重命名。

宏不會對參數求值。編寫正確宏的一個要點就是搞清楚哪一個參數在哪一個時候求值。最初編寫這個宏時就由於沒注意參數求值的時機出了一個bug，下面的代碼應該是合法的，但最初的版本卻不能獲得想要的結果。

(define i 1)
(for i from i to (* i 100)
  (if (> i 10) (break #f))
  (display i)
  (display " "))
from後面的i應該一開始就求值與for後面的i和for語句內第二行之後的i無關。

 

(define-syntax for  (er-macro-transformer   (lambda (x r c)     (pmatch x       (`(for ,i in ,l . ,body)        (guard (identifier? i))        `(,(r 'call-with-current-continuation)          (,(r 'lambda) (break)           (,(r 'do) ((,(r 'ns) ,l (,(r 'cdr) ,(r 'ns))))            ((,(r  'null?) ,(r 'ns)) #f)            (,(r  'let) ((,i (,(r 'car) ,(r 'ns))))             (,(r 'call-with-current-continuation)              (,(r 'lambda) (continue)               (,(r 'begin)                ,@body))))))))       (`(for ,i from ,a to ,z . ,body)        (guard (identifier? i))        `(,(r 'let) ((,(r 'a) ,a)                     (,(r 'z) ,z))          (,(r 'call/cc)           (,(r 'lambda) (break)            (,(r 'do) ((,i ,(r 'a) (+ ,i 1)))             ((,(r '>) ,i ,(r ' z)) #f)             (,(r 'call/cc)              (,(r 'lambda) (continue)               (,(r 'begin)                ,@body))))))))       (`(for ,i from ,a ,b to ,z . ,body)        (guard (identifier? i))        `(,(r 'let*) ((,(r 'a) ,a)                      (,(r 'b) ,b)                      (,(r 'z) ,z)                      (,(r 's) (,(r '-) ,(r 'b) ,(r 'a)))                      (,(r 'p) (,(r 'if) (,(r '>) ,(r 'b) ,(r 'a))                                ,(r '>) ,(r '<))))          (,(r 'call/cc)           (,(r 'lambda) (break)            (,(r 'do) ((,i ,(r 'a) (,(r '+) ,i ,(r 's))))             ((,(r 'p) ,i ,(r 'z)) #f)             (,(r 'call/cc)              (,(r 'lambda) (continue)               (,(r 'begin)                ,@body))))))))       (else (error 'bad-syntax x))))))