Programming Languages: Application and Interpretationを読むために。

http://cs.brown.edu/~sk/Publications/Books/ProgLangs/
を読んで、コードを実行したい場合。

  1. DrRacketをインストールします。
  2. メニューの「ファイル」->「install package」を選択。
  3. Package Sourceというエディットボックスに、plai-typed と入力してOKを押します。

そうすっと、

#lang plai-typed

(define-type MisspelledAnimal
  [caml (humps : number)]
  [yacc (height : number)])

(caml 2)
(yacc 1.9)

のように書けて実行出来るようになります。
つーかビルトインしといてくれ・・・