CPSフォームで `eval-if`のようなアナライザ/エバリュエータ関数を書くには？

Question

私はSICPのメタ円形評価基準に基づいておもちゃのpython Schemeインタプリタを書こうとしています。 Pythonは限られた深さのコールスタックしかサポートしていないので、テールコールを排除する必要があります。私はトランポリンについて読んで、そのパーサーを実装しました。

しかし、アナライザ/エバリュエータ機能をトランポリンと一緒に使用するために継続的な通過スタイルで書く方法はわかりません。例えば、eval-if機能：Pythonで

(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形式で書くべきですか？これはあなたの「evalを」はまた、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フォームを記述します。 PythonではGuidoがあなたに許しているとすれば、おそらく "lambda"を使うことができます。さもなければ、私はあなたがこれの内部関数を定義できると信じています。