camlp5 のバックアップ(No.3)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• camlp5 へ行く。
  • 1 (2010-12-27 (月) 01:06:33)
  • 2 (2010-12-27 (月) 01:06:57)
  • 3 (2010-12-27 (月) 09:40:29)
  • 4 (2010-12-28 (火) 10:24:33)

camlp5 †

• http://pauillac.inria.fr/~ddr/camlp5/
• OCaml 3.09 までの camlp4 が名前をcamlp5と名前を変えて配布されている
  • OCaml 3.10 以降の camlp4 はそれまでの camlp4 と全く互換性がないため
  • Coq 等で使われている
  • 現行の camlp4 は undocumentedな部分が多いため camlp4 の代わりにこちらを使うのがよいかもしれない

チュートリアル †

• 古いcamlp4のチュートリアル 和訳も誰かが書いてる
• Tutorial: How to customize the syntax of OCaml, using Camlp5

とりあえず使ってみる †

• hello.ml を構文解析して、そのままpretty printする

  camlp5 pr_o.cmo pa_o.cmo hello.ml

  • pr_* は pretty printer, pa_* は パーザ
  • *_o は original syntax, *_r は revised syntax

q_MLast.cmo †

ML構文のquotationを有効にする構文拡張？

camlp5 q_MLast.cmo pr_o.cmo pa_o.cmo test.ml

疑問 †

パス式の扱い †

• 次の2つのパス式F.f, C.cの表現が異なる
  • C.c x (xへの関数C.cの適用)
  • new C.c (クラスC.cのnew)
• それぞれ次のようになる：

  MLast.ExAcc (loc, MLast.ExUid (loc, "F"), MLast.ExLid (loc, "f"))
  MLast.ExNew (loc, ["C"; "c"])

  • 前者は ExAcc? で UidとLidを結合, 後者は string list なぜ？