CPS 폼에서`eval-if`와 같은 분석기/평가 기 기능을 작성하는 방법은 무엇입니까?

Question

저는 SICP의 메타 순환 평가 기 (meta-circular evaluator)를 기반으로 장난감 파이썬 Scheme 인터프리터를 작성하려고합니다. 파이썬은 제한된 깊이의 호출 스택만을 지원하므로 꼬리 호출을 제거해야합니다. 나는 trampolines에 대해 읽고 parser를 구현했다.

하지만 trampolines와 함께 사용할 연속 통과 스타일에서 분석기/평가 기 기능을 작성하는 방법을 모르겠습니다. 예를 들어, eval-if 기능 : 파이썬에서

(define (eval-if expr env) 
    (if (is-true? (eval (if-predicate expr) env)) 
     (eval (if-consequent expr) env) 
     (eval (if-alternate expr) env))) 

:

def eval_if(expr, env): 
    if is_true(eval(if_predicate(expr), env)): 
     return eval(if_consequent(expr), env) 
    else: 
     return eval(if_alternate(expr), env) 

나는 조건에 해당하는 경우 검사 할

, 나는 그것을 eval의 새로운 라운드를 호출해야합니다. CPS 형태로 재귀 호출을 작성하려면 어떻게해야합니까? 이것이 당신의 '평가'는 또한 CPS로 작성되어 있다고 가정

;; evaluate an 'if': 
(define (eval-if expr env k) 
    (eval (if-predicate expr) env 
     (lambda (testval) 
      (if (is-true? testval) 
       (eval (if-consequent expr) env k) 
       (eval (if-alternate expr) env k))))) 

참고 :

Answer 1

는 계획/라켓, 당신은이 함수의 CPSed 양식을 작성할 것입니다. 파이썬에서 Guido가 허용하는 경우 아마도 "lambda"를 사용할 수 있습니다. 그렇지 않으면, 당신이 이것에 대한 내부 함수를 정의 할 수 있다고 생각합니다.