Как извлечь список из программы Scheme?

Question

Я даю язык на Схеме.

(define-datatype statement statement? 
    (add1 (V symbol?)) 
    (sub1 (V symbol?)) 
    (skip (V symbol?)) 
    (if-goto (V symbol?) 
      (l symbol?))) 

(define-datatype instruction instruction? 
    (labeled (l symbol?) 
      (i statement?)) 
    (unlabeled (i statement?))) 

(define-datatype program program? 
    (a-program (l (list-of instruction?)))) 

Я пытаюсь создать новую функцию, которая сможет конвертировать программу в список инструкций. Как мне это сделать?

Вот то, что я до сих пор:

(define pgm->list 
    (lambda (pgm) 
    ;what goes here 

Answer 1

жаль, если это не так, если вы могли бы поделиться рабочей реализацией коды? я действительно путают с

(define-datatype program program? 
    (a-program (l (list-of instruction?)))) 

что такое список-оф? я должен представить здесь, что вы хотите объявить некоторые варианты программ. a-program будет определяться как список инструкций ... ok. если list-of возвращает lambda, который является правильным предикатом (который возвращает true только при действии в списке инструкций), то это работает?

(define pgm->list 
    (lambda (pgm) 
    (cases program pgm 
     (a-program (l) l)))) 

Edit: Так как определить тип данных, было неизвестно большинству из нас, кроме ОП, я добавляю некоторые документы:

[синтаксис] (определить-тип данных TYPENAME [PREDICATE] VARIANT .. .)

Определяет тип записи с именем TYPENAME, где VARIANT ... определяет один или несколько конструкторов для экземпляров этого типа. ВАРИАНТ должен иметь вид

ВАРИАНТ = (КОНСТРУКТОРСКИМИ (FIELDNAME FIELDPRED) ...)

КОНСТРУКТОР это имя процедуры конструктора, который будет определен с как много аргументов, которые заданы поля. (FIELDNAME FIELDPRED) ... укажите имя для каждого поля и процедуру для одного из них, который должен возвращать истинное значение для значений поля .

Необязательный PREDICATE должен быть именем процедуры, которая будет определена, и , которая возвращает #t при применении к экземпляру этой записи варианта.

[синтаксис] (случаи TYPENAME EXP ОГОВОРКА ...)

Средство для согласования и деконструируя экземпляр EXP варианта записи с именем TypeName. Каждый ПУНКТА определяет конструктор полевых имен и тело, чтобы выполнить, когда конструктор соответствует записи экземпляра:

= (ПУНКТ КОНСТРУКТОР (FIELDNAME ...) ТЕЛО ...) | (еще BODY ...)

ура!