Programming Languages: Application and Interpretationを読むために。
http://cs.brown.edu/~sk/Publications/Books/ProgLangs/
を読んで、コードを実行したい場合。
- DrRacketをインストールします。
- メニューの「ファイル」->「install package」を選択。
- Package Sourceというエディットボックスに、plai-typed と入力してOKを押します。
そうすっと、
#lang plai-typed (define-type MisspelledAnimal [caml (humps : number)] [yacc (height : number)]) (caml 2) (yacc 1.9)
のように書けて実行出来るようになります。
つーかビルトインしといてくれ・・・