スキームの再帰を中断する標準的な方法

Question

私はスキームの最初のプログラムを書いています。私は基本的にはネストされた手続き呼び出しを持つことができる単純なロボットのためのプログラムを解釈するので、再帰にかなり深く入る。

違反が見つかった場合は、プログラムの解釈を停止し、最後の有効な状態を返す必要があります。

グローバル変数(define illegalMoveFlag 0)を宣言してからset!で設定して解決しました。私が考えた

それは正常に動作しますが、私は（それは私が推測する機能的なアプローチではないので）私の家庭教師がそれを好きではないだろうと思い

他のアプローチは、私は再帰的に呼び出すすべての関数にエラーパラメータを追加することですプログラムで。私はそれが私のコードをはるかに読みにくくするので、それは本当に好きではありませんが、私はそれがより機能的だと思います。

私は考えなかった可能性がありますか？そして私のアプローチはこのパラダイムで正当化できるのでしょうか、それとも基本的にコードのにおいですか？

Answer 1

これは最初のSchemeプログラムだったので、最後に到達したときにさらに再帰するのを避けるために、条件式condを導入するだけでよいでしょう。例：あなたがCでlongjmpのように戻るには、伝統的なreturnが必要な場合は

; sum : natural -> natural 
; compute the sum 0+1+...+max 
(define (sum max) 
    (define (sum-helper i sum-so-far) 
    (if (> i max) 
     sum-so-far 
     (sum-helper (+ i 1) (+ sum-so-far i)))) 
    (sum-helper 0 0)) 

(display (sum 10)) 
(newline) 

しかし、あなたはエスケープ継続を保存して使用する必要があります。

(define (example) 
    (let/ec return 
    (define (loop n) 
     (if (= n 100000) 
      (return (list "final count: " n)) 
      (loop (+ n 1)))) 
    (loop 0))) 

(display (example)) 

let/ecがあなたのSchemeの実装で定義されていない場合は、を使用して、プログラムを接頭辞：

(define-syntax let/ec 
    (syntax-rules() 
    [(_ return body ...) 
    (call-with-current-continuation 
     (lambda (return) 
     body ...))])) 

UPDATE：

注condが=>バリアントを持っていることをこれは次のように行うことができます：

(cond 
    [(call-that-can-fail) 
    => (lambda (a) <use-a-here>))] 
    [else <do-something-else>]) 

llが成功すると、最初の句は になり、結果はaにバインドされます。呼び出しが失敗した場合は、 、次にelse節が使用されます。 0：

Answer 2

再帰を停止する通常の方法は、再帰を停止することです。すなわち、もはや再帰関数を呼び出さない。 :-)

これが難しいのであれば、何かを打ち破るもう1つの方法は、（再帰を開始する前に）トップレベルで継続をキャプチャし、次にエスケープする必要があるときに継続を呼び出すことです。あなたのインストラクターはこのアプローチを好まないかもしれません。そのようにあなたは、組込みプロシージャerrorを使用する場合があります;-)

Answer 3

：

(error "Illegal move") ; gives ** Error: Illegal move 

これは例外を発生し、プログラムを解釈しなくなりますが（私はこれがあなたが何であるかではないかもしれない疑いがあるものの探している）。

ます。また、このように、追加の引数を提供することができます。

(error "Illegal move: " move) ; gives ** Error: Illegal move: <move> 

Answer 4

することはでき継続を使って再帰（または任意の他のプロセスから）の終了。より詳細なことがわからなければ、あなたの通訳者のdocumentationを見てみることをお勧めします。

Answer 5

メイクは、私はあなたに階乗

すなわちとの簡単な例をあげる

グローバル変数の代わりに、関数内でPARAMTERをillegalMoveFlag！ = 1 n！ = n *（n-1）！ （1 ...無限大）をn個のとき

は代替が再帰 を終了する関数にパラメータを使用することであろう再帰的な階乗

(define (fact-r n) 
    (if 
     [eq? n 0] 
     1 
     (* n (fact-r (- n 1))) 
    ) 
) 

が

反復階乗それを呼び出すことができますこれを呼び出すことができます私たちはよりよい

(define (nice-fact n) 
    (fact-i n 1)) 

0を、それを使用して作るために別の関数を作るべき1で開始する

(define (fact-i n total) 
    (if 
     (eq? n 0) 
     total 
     (fact-i (- n 1) (* n total)) 
) 
) 

総ニーズ

illegalMoveFlagで似たようなことをして、グローバル変数を避けることができます setを使用することを避けてください！もっと情報が必要になるだろう。

場合によっては、それを使用することを避けることはまだかなり困難です。スキームはセットを使わずに完全にチューリングされています！ただし、データベースやロボットなどの外部情報源にアクセスすることになります。唯一の実用的なソリューションになることができます...