ラケット関数が実際のリストの代わりに空リストを渡す

Question

私はラケットには新しく、プロジェクト用に有限状態機械を作ろうとしています。ここに私がこれまで持っているものがあります。

#lang racket 

(define (test rules cs pass lst) 
    (if (eq? (length lst) 0) 
     (if (member cs pass) 
      (write 'passed) 
      (write 'failed)) 
     (test rules (next rules cs (car lst)) (cdr lst)))) 

(define (next rules cs input) 
    (if (eq? cs (car (car rules))) 
     (if (eq? input (car(cdr(car rules)))) 
      (car(cdr(cdr(car rules)))) 
      ((next (cdr rules) cs input))) 
     (next (cdr rules) cs input))) 

その後、I入力

(define rules '('(0 a 0) '(0 b 1) '(1 a 0) '(1 b 1))) 
(define pass '(1)) 
(test rules 0 pass '(a b a b)) 

と、私は理解できない理由で、私はルールが、私はそれがないかなり確信している空のリスト、であるかのようにそれが作用 this error on the next function.を取得します。とにかく誰が私になぜそれが本当に助けになるのか教えてくれたら。

ありがとうございます！

EDIT1

ヘルプみんなのおかげでそんなに。それは本当に助けになります。コードは最後まで完全に動作していますが、testmanyで複数のリストをテストすると、コードの最後にエラーがスローされます。

(define (testmany rules cs pass lst)(if (eq? (length lst) 0) 
             (write 'done)  
     ((test rules cs pass (car lst))       
     (testmany rules cs pass (cdr lst))))) 

(define (test rules cs pass lst) (if (eq? (length lst) 0) 
     (if (member cs pass) 
      (write 'accepted.....) 
      (write 'rejected.....)) 
     (test rules (next rules cs (car lst)) pass (cdr lst)))) 

(define (next rules cs input) (if (eq? cs (car (car rules))) 
     (if (eq? input (car(cdr(car rules)))) 
      (car(cdr(cdr(car rules)))) 
      (next (cdr rules) cs input)) 
     (next (cdr rules) cs input))) 

このコードでは、testmany関数の再帰をいつ停止するかわからないようです。リストが空であれば、doneを出力しますが、リストにまだ要素があるかのように次の部分を続けて返します。this error.を投げます。なぜこのエラーが発生したのか分かっている人は教えてください。 ありがとう！

Answer 1

あなたはbeginを忘れてしまった：

(define (testmany rules cs pass lst) (if (eq? (length lst) 0) 
             (write 'done)  
     (begin 
     ; ^^^^^ here 
     (test rules cs pass (car lst))       
     (testmany rules cs pass (cdr lst))))) 

をそれがなければ、(test rules cs pass (car lst))の戻り値が関数として使用することが試みられています。しかし#<void>、関数によって評価された（より多くのように実行された）最後のものである(write ....)フォームの結果です。

ところで、#<void>は空のリストではありません。それは価値のないものに似ています。

編集：それは（beginせず）の端部に再帰ない理由は、その値valに(foo val)に機能fooを適用することで、両方式が最初に評価されています。即ち(testmany ...)

それだけvalの評価の後では、エラーがfooの値、即ち(test ...)発現は、ない実際には関数であり、が適用できないことが発見されていることを完全に終了します。