すぐできるキモイ OCaml 改造メモ

糖衣構文で可能 (P4 マター)

  • 関数にする (.[1]) (.[]) (.(1)) (.()) (.field) (#meth) (,,,)
  • どんどん関数にする (.[]<-) (.field<-) などなど
  • もっともっと関数にする {.. with x = e} など (.. が無いとさすがに怖い)

糖衣構文ではできない (コンパイラ改造コース)

  • open M の名前の一部を隠蔽
  • SML 方式のオーバーローディング
  • SML の #2 のようなもの (OCaml では #2 は行番号指定記号なのでこの書式は使えない)