scheme - 在 DrScheme 上定义类型返回错误

Question

当我尝试在 DrScheme 上运行 define-type 时，我收到错误“在其定义之前引用标识符:define-type”。为什么会这样？

我输入:

(define-type GUI
    [label (text string?)]
    [button (text string?)
            (enabled? boolean?)])

然后我回来了:

reference to an identifier before its definition: define-type

Answer 1

define-type 不是“基本”Scheme 的一部分，它是“Typed Scheme”的一部分。要在 Dr Scheme 中使用此语言:

确保在窗口左下角的下拉列表中选择了“模块”。然后在顶部窗口中输入:

#lang typed-scheme

然后按下“运行”按钮。