1

我有这个协程示例

(define p1
  (lambda (continuation)
    (display "1")
    (newline)
    (p1 (call/cc continuation))))

(define p2
  (lambda (continuation)
  (display "2")
  (newline)
  (p2 (call/cc continuation))))

(p1 p2)

我想在 CPS 中更改它，以便我可以使用 CPS call/cc ：

(define (call/cc-cps f continuation)
  (define (exit value actual-continuation)
    (continuation value))
  (f exit continuation))

我知道要在 CPS 中转换一个函数，我需要在函数中添加一个延续，但我很困惑，我真的不知道该怎么做。

我认为它看起来像这样：

 (define p1
   (lambda (continuation)
   (display "2")
   (newline)
   (call/cc-cps
     (lambda (continuation actual-continuation)
       continuation) ;; or actual-continuation ?
     (lambda (value)
       (p1 value)))))

(p1 p2)

但这可能是错误的。有人可以帮我理解如何正确地做到这一点吗？

谢谢

4

1 回答 1

1

如果您在 CPS 中执行某项操作，则在每个函数的尾部位置只进行一次计算。这是解释器评估代码的一种方式：

(define (hyp a b)
  (sqrt (+ (square a) (square b))))

关键是 CPS 以所需的顺序进行计算，并且一次不会做超过一件事。这在 CPS 中变为：

(define (hyp& a b cont)
  (define (cont-square-a sqa)
    (define (cont-square-b sqb)
      (define (cont-sum sum)
        (sqrt& sum cont))          
      (+& sqa sqb cont-sum))        
    (square& b cont-square-b))      
  (square& a cont-square-a))

或者，如果您更喜欢匿名延续：

(define (hyp& a b cont)      
  (square& a
           (lambda (sqa)
             (square& b
                      (lambda (sqb)          
                        (+& sqa
                            sqb
                            (lambda (sum)
                              (sqrt& sum cont))))))))

所有 & 函数只是实际函数的 CPS 版本，因此除了原始函数之外，它们还有一个延续参数。p1看起来像这样：

(define (p1& continuation& cont)
  (define (cont-display-2 undefined-value-1)
    (define (cont-newline undefined-value-2)
      (define (cont-call-cc-continuation& continuation-value)
        (p1& continuation-value cont))
      (call/cc& continuation& cont-call-cc-continuation&))
    (newline& cont-newline))
   (display& "2" cont-display-2))

您可能对Matt Might的文章感兴趣。围绕相关的延续和编译进行掠夺。我还建议您观看SICP 视频，或者尝试解决SICP 书中的练习。当你在制作解释器和编译器时，它应该是在公园里散步制作生成器。

于 2017-08-20T13:20:40.113 回答