scheme - Racket 中是否有类似“try”的功能

Question

现在我通过看The Seasoned Schemer这本书来学习计划者。我用球拍写了代码，但是当我使用 时try，schemer 没有这个方法或宏。它报告了扩展：模块中的未绑定标识符：尝试。代码如下：（在第89页）

(define (remove-member-first* a lat)
   (try oh (rm a lat oh) lat))

我搜索了球拍文件，但没有找到类似的功能。

那么谁知道是否有像“try”这样的功能呢？

Answer 1

我刚刚发现有人已经在 github 中编写了The Seasoned Schemer一书中的所有代码片段。

这是他的回答：（它不是不卫生的，不需要其他型号）

(define-syntax letcc
  (syntax-rules ()
    ((letcc var body ...)
     (call-with-current-continuation
       (lambda (var)  body ... )))))


(define-syntax try 
  (syntax-rules () 
    ((try var a . b) 
     (letcc success 
       (letcc var (success a)) . b))))

链接是https://github.com/viswanathgs/The-Seasoned-Schemer

Answer 2

你没有提到它，但我猜你正在谈论的书是“经验丰富的计划者”。使用以下宏定义来实现try书中定义的：

(require mzlib/defmacro)

(define-macro (letcc c . body)
  `(call/cc (lambda (,c) ,@body)))

(define-macro (try x a b)
  `(letcc *success*
     (letcc ,x
       (*success* ,a))
     ,b))