[racket] DrRacket languages definition

11 views
Skip to first unread message

Harry Spier

unread,
Nov 1, 2010, 9:55:12 PM11/1/10
to us...@racket-lang.org


Dear list members,

Can someone direct me to where in the documentation there is a list of the language identifiers i.e. what I put after #lang in the upper panel in DrRacket for the various languages recognized by DrRacket, in particular for the teaching languages. Or list them in the list for me.

Thanks in advance,
Harry

John Clements

unread,
Nov 2, 2010, 2:44:22 PM11/2/10
to Harry Spier, us...@racket-lang.org

On Nov 1, 2010, at 6:55 PM, Harry Spier wrote:

>
>
> Dear list members,
>
> Can someone direct me to where in the documentation there is a list of the language identifiers i.e. what I put after #lang in the upper panel in DrRacket for the various languages recognized by DrRacket, in particular for the teaching languages. Or list them in the list for me.

The problem with extensibility is that it makes it very hard to answer questions like this. In particular, any module with the right "shape" can be used as a language. I just looked for files of the form "*/lang/reader.rkt", and got these, which should all be legal to use after #lang (list follows).

Keep in mind that this is not exhaustive, since it's also possible to play fancy tricks with attaching modules, etc.

John Clements

at-exp
datalog
datalog/sexp
deinprogramm/DMdA
deinprogramm/DMdA-advanced
deinprogramm/DMdA-assignments
deinprogramm/DMdA-beginner
deinprogramm/DMdA-vanilla
eopl
errortrace
frtime
frtime/opt
frtime/reactive
honu/core
honu
htdp/asl
htdp/bsl
htdp/bsl+
htdp/isl
htdp/isl+
lazy
meta/web
mred
mzscheme
plai/collector
plai
plai/mutator
plai/web
planet
r5rs
r6rs
racket/base
racket/gui
racket
racket/load
racket/private
racket/signature
racket/unit
racklog
reader
s-exp
scheme/base
scheme/exists
scheme/gui
scheme
scheme/load
scheme/private
scheme/private/provider
scheme/signature
scheme/unit
scribble/base
scribble/doc
scribble/jfp
scribble/lp
scribble/manual
scribble/sigplan
scribble/text
setup/infotab
slideshow
swindle
tests/planet/examples/dummy-package
tests/racket
typed/racket/base
typed/racket/base/no-check
typed/racket
typed/racket/no-check
typed/scheme/base
typed/scheme
typed-scheme
typed-scheme/no-check
web-server/insta
web-server

> Thanks in advance,
> Harry
>
> _________________________________________________
> For list-related administrative tasks:
> http://lists.racket-lang.org/listinfo/users

Todd O'Bryan

unread,
Nov 3, 2010, 5:48:13 AM11/3/10
to John Clements, us...@racket-lang.org, Harry Spier
Note that

#lang htdp/bsl

is not quite the same as choosing the Beginning Student language from
the menu. In particular, the #lang version (which is newer and toward
which DrRacket seems to be moving, so that choosing languages and
adding teachpacks will actually be in the code, rather than some
nebulous meta-information about a file) doesn't quite work yet.

In short, feel free to try #lang lines and (require ...) statements,
but be prepared to go back to choosing the language from the menu and
adding teachpacks if something doesn't work, at least until Robby and
Matthias say everything is ready for prime-time.

Todd

Reply all
Reply to author
Forward
0 new messages