在Racket源代码中选择学生语言

Gio*_*gio 6 racket

我正在尝试为DrRacket编写一个源文件,该文件指定了如何设计程序教学语言中的一种语言(参见Racket文档).我知道我可以在DrRacket菜单中选择这样的语言,但我想使用#lang指令指定它并让DrRacket自动识别该语言.

我找不到任何关于我需要使用的字符串的文档,而不是racket在初始行中

#lang racket
Run Code Online (Sandbox Code Playgroud)

我在哪里可以找到关于此的文档?或者只能从DrRacket的菜单中选择这些语言?

Chr*_*ung 8

你应该可以使用

#lang htdp/bsl
Run Code Online (Sandbox Code Playgroud)

(或htdp/bsl+,htdp/isl,htdp/isl+,或htdp/asl),但它"不是一个完整的形状,还".