Извлечение полей из объекта определенного типа в схеме

Question

Я пытаюсь извлечь поле 'name' или 'named-expr' из следующего объекта:

(bind 'x (num 5)) ;; обратите внимание, что это не список, а тип Binding

С определением Binding:

(привязка определяемого типа (bind (имя символа?) (named-expr WAE?)))

Я пытался, но получил ошибку «ссылка на идентификатор перед его определением: имя привязки». Вот что я попробовал набрать:

(начало (Binding-name (bind 'x (num 5)))) (начало (определить x (bind 'x (num 5))) (Binding-name x))

Спасибо!

Answer 1

Так что я только что понял, мне пришлось использовать имя «связать» в типе связывания. Эта работа: (начало (bind-name (bind 'x (num 5))))