1. camlspotter
  2. ocaml-zippy-tutorial-in-japanese

Commits

camlspotter  committed 14baedf

lines

  • Participants
  • Parent commits 2be0de6
  • Branches default

Comments (0)

Files changed (1)

File README.rst

View file
  • Ignore whitespace
 
 演習問題
 -----------------
+
 * let _ = <:expr<[]>> というファイルを作り、 camlp4of で出力して、 Quote が内部で何に展開されているか確認せよ。
 * let _ = <<[]>> というファイルを作り、 camlp4of で出力して、出力を確認せよ。結果は役に立つのでメモしておくこと。使える expander のリストが手に入った!
 
 
 演習問題
 ------------------------
+
 * <:patt@myloc<[]>> の quote 展開を確認せよ
 
 
 
 演習問題
 --------------------
+
 * テンプレコードの「文法拡張部」に let _ = <:expr<[]>> と書いてコンパイルを試みよ
 * なぜ失敗するか、 camlp4of で quote 展開結果を確認せよ
 * 自由変数 _loc をλ抽象で適当になんとかして再度コンパイルを試みよ
 
 演習問題
 ------------------
+
 * [重要] 上記コードを camlp4of で展開し(ry
 * [重要] 上記コードの expr を patt に変えて camlp4of で(ry
 
 
 ステップ3 [重要] テストテストテスト
 ----------------------------------------
+
 と君は書いてみた。君は基地外ではあるが慎重でもあるので、この時点でテンプレートにこの三行を書き込みテストするのを忘れない::
 
     open Camlp4
 さてこれを拡張ルールとして書くには::
 
 * str_item と expr をいじることを GLOBAL で宣言する
-* let(非再帰)と と letrec のケースを追加する
+* let(非再帰)と と letrec のケースを追加する。追加するレベルを LEVEL で明記する。
 
 せねばならない。こう書く::
 
 
 演習問題
 -----------------------
+
 * [重要] 君も上の letrec を試して国際Scheme戦線に参加しなさい。LCF ML 懐古趣味でも可能