从Scheme中的define-type对象中提取字段

Question

我正在尝试从以下对象中提取字段'name'或'named-expr'：

（bind'x（num 5））;;请注意，这不是列表，而是类型绑定

使用Binding定义：

（define-type Binding   （bind（名称符号？）（named-expr WAE？）））

我试过，但收到错误“在定义之前引用标识符：Binding-name。”这是我尝试输入的内容：

（begin（Binding-name（bind'x（num 5）））） （begin（define x（bind'x（num 5）））（Binding-name x））

谢谢！

Answer 1

所以我想出来了，我必须在Binding类型中使用名称'bind'。 这项工作： （begin（bind-name（bind'x（num 5））））