Ошибка определения типа для DrScheme

Question

Когда я пытаюсь запустить define-type в DrScheme, я получаю сообщение об ошибке «ссылка на идентификатор перед его определением: define-type». Почему это происходит?

Я ввожу:

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

и я вернусь:

ссылка на идентификатор перед его определение: определение типа

Answer 1

define-type не является частью "базовой" схемы, он является частью "типизированной схемы". Чтобы использовать этот язык в Dr Scheme:

Убедитесь, что в раскрывающемся меню в нижней левой части окна выбран «Модуль». Затем в верхнем окне введите:

#lang typed-scheme

и нажмите кнопку «Выполнить».