方案：在发出条件信号后恢复循环

Question

此程序正在使用 Scheme 条件并重新启动以循环执行过程 10 次，并且 return 过程成功的次数。
这里程序每次 n 是 3 的倍数时都会抛出一个错误。
出于某种原因，第一个错误 (n=3) 被捕获，但循环无法恢复 n=4:

(define (handle! thunk)
  (bind-condition-handler
   '() (lambda (condition)
         (display "resuming...")
         (invoke-restart (find-restart 'next)))
   thunk))

(let loop((n 1) (count 0))
  (display n)(display #\,)
  (if (> n 10) count
      (handle!
       (call/cc
        (lambda (cc)
          (with-restart
           'next "restart here"
           (lambda ()
             (cc (loop (1+ n) count)))
           #f
           (lambda ()
             (if (= 0 (modulo n 3))
                 (error n "is multiple of 3!")
                 (loop (1+ n) (1+ count))))))))))

除了 the MIT Scheme Reference 处的条件和重新启动之外，我未能找到条件示例。

Answer 1

解决方案是将call/cc向下移动到受条件影响的循环参数'count'：

(let loop((n 1) (count 0))
  (display n)(display #\,)
  (if (> n 10) count
      (handle!
       (lambda()
         (loop (1+ n)
               (call/cc
                (lambda (cc)
                  (with-restart
                   'next "restart here"
                   (lambda ()
                     (cc count))
                   #f
                   (lambda ()
                     (if (= 0 (modulo n 3))
                         (error n "is multiple of 3!"))
                     (1+ count))))))))))

正确运行：

1 ]=> 1,2,3,resuming...4,5,6,resuming...7,8,9,resuming...10,11,
;Value: 7

方案：在发出条件信号后恢复循环

scheme: resuming a loop after a condition has been signaled

conditional-statements

scheme

restart

mit-scheme