라켓 함수가 실제 목록 대신 빈 목록을 전달합니다.

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))) 

는 내가 입력

(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.을 던집니다. 왜이 오류가 발생하는지 알면 알려주세요. 감사합니다. 그것없이

(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))의 반환 값이 함수로 사용할 수 있도록 시도;

Answer 1

당신은 begin 잊었다 하지만 #<void>, 함수에 의해 평가 된 마지막 (더 비슷하게 실행 된) (write ....) 형식의 결과입니다.

그런데 #<void>은 빈 목록이 아닙니다. 그것은 비 가치와 더 비슷합니다.

편집 : 그것은합니다 (begin)없이 단부 재귀 않는 이유는 그 양 식이 먼저 계산 값 val에 (foo val)foo의 함수를 적용하는 것이다. 즉 (testmany ...)

그것만 val 평가 이후는 에러가 foo의 값, 즉 (test ...) 식, 하지 사실 함수이고, 적용 할 수 없다는 것을 발견되는 완전히 종료한다.