関数・論理型プログラミング実験

ML演習 2011

本演習では、​ML 言語の一種である ​Objective Caml (O'Caml) の基礎的な使い方と簡単なMLインタプリタの作り方を学びます。

担当

新井淳也、中村宇佑、前田俊行

講義

• 第1回 (2011年04月05日) (資料 PDF​, pptx​: 2011/04/05 15:27 更新)
• 第2回 (2011年04月19日) (資料 PDF​, pptx​: 2011/05/24 16:32 更新: 相互再帰的な型の定義についての説明を追加しました。)
• 第3回 (2011年04月26日) (資料 PDF​, pptx​; ソース tar.gz​: 2011/04/26 14:25 更新)
• 第4回 (2011年05月10日) (資料 PDF​, pptx​; ソース tar.gz​: 2011/05/10 15:02 更新)
• 第5回 (2011年05月17日) (資料 PDF​, pptx​: 2011/05/17 14:03 更新)
• 第6回 (2011年05月24日) (資料 PDF​, pptx​; 付録 PDF​: 2011/06/06 21:17 更新: 間違いのある古い付録ファイルを誤って配布・掲載してしまっていましたので正しいファイルに差し替えました。)
• 第7回 (2011年05月31日) (資料 PDF​, pptx​: 2011/05/31 16:07 更新)
• 第8回 (2011年05月31日) (資料 PDF​, pptx​; ソース tar.gz​: 2011/05/31 16:07 更新)

参考資料

• ​The Caml Language
  • ​O'Caml のマニュアル
  • ​Developing Applications With Objective Caml
• ​OCaml.jp
  • ​O'Caml のマニュアル (和訳版) (ちょっと古い)
• ​Camlcity.org
• ​プログラミング in OCaml
• ​Types and Programming Languages