체계에서 펼치기 기능

Question

목표 :unfold 함수는 두 개의 인수 만 사용합니다.

인자 :

• 제 인자 I 및 ​​반환 nil을 어떤 유형 또는 이들 두 가지의 처음 두 개의 요소 (의 단점 쌍의 초기 값을 취 F이고 다음 요소 그 어떤 유형 A의 목록과 어떤 유형 I의 다음 초기 값으로 간다.
• 두 번째 인수는 몇 가지 유형 I의 초기 값 및 반환이 내가 지금까지 가지고 있고 나는 그것이 작동하지 않는 이유는 확실하지 않다 무엇

A 형의 항목의 목록입니다 : 이 결과가 있어야하는데,

'(5 4 3 2 1) 

에

(define (descending i) 
    (if (= i 0) 
    (list) 
    (cons i (- i 1)))) 

(define nil (list)) 

(define (unfold f init) 
    (if (eq? (f init) '()) 
    (list) 
    (cons init (unfold f (f init))))) 

(unfold (descending 5)) 

은 평가해야합니다. 내가 도대체 ​​뭘 잘못하고있는 겁니까?

Answer 1

먼저 (unfold descending 5)이어야합니다. 그런 다음 f은 한 쌍을 생성하고 두 구성 요소를 모두 사용하게됩니다.

(define (unfold f init) 
    (if (eq? (f init) '()) 
    (list) 
    (cons (car (f init)) (unfold f (cdr (f init))))))