функция разворачивания в схеме

Question

Цель: реализация unfold функция, использующая только два аргумента.

Аргументы:

• первый аргумент F, которая принимает начальное значение некоторого типа I и возвращает NIL или минусы пары двух элементов (первый из этих двух является следующим элементом, который снова входит в список некоторого типа A и следующего начального значения некоторого типа I).
• Второй аргумент является начальным значением некоторого типа I и возвращение список элементов типа А.

Это то, что я до сих пор, и я не знаю, почему он не работает:

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

должен вычисляться

'(5 4 3 2 1) 

Это должно быть результатом, но это не так. Что я делаю не так?

Answer 1

Во-первых, это должно быть (unfold descending 5). Затем f произведет пару, и вы будете использовать оба ее компонента,

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