味付けスキーマーのget-まず、取得 - 次、およびよたよた機能

Question

(define get-first 
    (lambda (l) 
    (call-with-current-continuation 
     (lambda (here) 
     (set! leave here) 
     (waddle l) 
     (leave (quote())))))) 

(define get-first 
    (lambda (l) 
    (call-with-current-continuation 
     (lambda (here) 
     (set! leave here) 
     (leave (waddle l)))))) 

は（最後の二つは、ここで定義されていない）、明らかモデルへの手順ですコルーチンツリーに渡して、waddleに渡すと、葉のみが得られます。 waddleの直前に2番目の最後の再入力が行われる直前に、'()の代わりに'()、の実際の値の代わりに再入力ポイントを設定します。waddleまるで純粋な関数であるかのように、'()です。これを考慮して

、我々はget-firstが設定されますかを見ることができます...場合はwaddleリターン「本物のために」、それはget-firstにcall/ccの内側にあることと、その後(leave (quote()))ますget-firstの値である（そして、順番に、このleaveは、最後の反復でget-nextに戻ることを意図しているため、の「実際の」戻り値を持つget-nextです。

なぜ、第2のバージョンが等価でないのですか。waddleの値が'()の場合、leaveの引数になりますか？ 「leaveは、」私はそれになりたい機能ではありませんが、関数は、それは「waddle」の前にように左から右としていると思われ、それが評価されていますときに評価されるため

Answer 1

混乱があります。つまり、これまでのステートメントでは、それが設定された場所に評価されます。

モラル：関数呼び出し時に関数呼び出しを再定義することに注意してください。これが右から左へのインタプリタの場合は、leaveというシンボルが参照される前に、waddleが評価され、どこにでも残っている関数として参照され、その間はDIFFERENT関数に設定されます。