使用 CPS 删除方案中的子序列函数(深度递归)

Question

removesub*接受原子列表和一般列表。第一个列表是第二个列表的子序列。该方法应返回第二个列表，并删除子序列的第一个匹配项。因此，如果第一个列表是'（a b c），如果删除了第二个列表，则第一个a被删除，删除a后出现的第一个b被删除，删除b后出现的第一个c被删除 - 无论原子嵌套多深。

（removesub*

'（a b） '（w （x b） （（a） （（y z））） b））

预期输出： （W （x b

） （（） （（y z））））

我正在尝试使用连续传递样式 （CPS） 完成此功能。对于这种复杂性的功能，这对我来说真的很难理解。在之前的堆栈溢出问题的帮助下，我能够尝试这个问题，但我的尝试返回了一个空列表。

我做错了什么？

尝试

(define removesub*
  (lambda (l1 l2 return)
    (cond
      ((or (not (pair? l1)) (not (pair? l2))) return l1 l2)
      ((pair? (car l2))
       (removesub* l1
                   (car l2)
                   (lambda (v1 v2car)
                     (removesub* v1
                                 (cdr l2)
                                 (lambda (v1 v2cdr)
                                   (return v1 (cons v2car v2cdr)))))))
      ((eq? (car l1) (car l2))
       (removesub* (cdr l1) (cdr l2) return))
      (else
       (removesub* l1
                   (cdr l2)
                   (lambda (v1 v2)
                     (return v1 (con (car l2) v2))))))))

Answer 1

通过对您的代码进行两个小更改，我得到了一些工作：

1. 我在第一个cond分支中将return l1 l2更改为(return l1 l2)。
2. 我将con更改为底线中的cons。

祝你好运！