Scheme에서 명명 된 let

Question

명명 된 let을 사용하여 Scheme에 루프를 작성하려고합니다. 끝 부분에서 항상 반복하는 것이 아니라 다양한 기준에 따라 반복을 빠져 나가고 싶습니다. 효과적으로 while, break 및 continue을 갖고 싶습니다. 나는 강한 이유 때문에 guile 1.8을 사용하도록 제한되었고, guile 1.8은 R6RS while 구조를 구현하지 않습니다. 내 질문은 꼬리 재귀 있어야 이름을 사용하여 recursing 않는, 왜 끝날 전에 루프를 다시 시작할 수 없습니다? [코드 예제가 필요합니까?] IO 작업과 함께 여러 지점에서 초기 종료를 사용하여 재귀하려고하면 필연적으로 과거 EOF를 읽고 예측할 수없는 데이터 손상이 발생합니다.

Answer 1

(let name ((iter iter-expr) (arg1 expr1) (arg2 expr2)) 
    (cond 
    (continue-predicate (name (next iter) arg1 arg2))) 
    (break-predicate break-expression-value) 
    (else (name (next iter) next-arg1-expression next-ar2-expression)))) 

A는 바로 다음 일은 변경 될 것이다 반복 부분을 제외하고 변경되지 않은 같은 인수의 대부분을 사용하여 다시 호출 계속합니다.

휴식은 기본 사례입니다.

그럼 while은 무엇입니까? 이는 구분 술어와 기본 대소 문자가있는 let입니다.

스키마에는 실제로 while 구조가 없습니다. 보고서를 읽는다면 그 보고서는 단지 설탕 (매크로)이라는 것일 뿐이며 let과 같은 것으로 변합니다.

수행 할 이전 계산을 모두 수행하지 않고 종료 할 수 있도록하려면 꼬리 재귀가되어야합니다. call/cc을 사용하여 기본적으로 Scheme이 후드 아래에있는 출구 연속을 제공 할 수도 있습니다. 일반적으로 call/cc는 초보자를위한 아주 멀리이며 꼬리 재귀 이런 일을보다 이해하기 쉽게 당신의 절차를 만들기 때문에 마스터 시간이 좀 걸립니다 :

(define (cars lists-of-pair) 
    (call/cc (lambda (exit) 
    (fold (lambda (e a) 
      (if (pair? e) 
       (cons (car e) a) 
       (exit '()))) ; throw away continuations to make current result make it() 
      '() 
      lists-of-pair))) 

(cars '((1 2) (a b))) ; ==> (1 a) 
(cars '((1 2)())) ; ==>()