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

ML演習 2011

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

担当

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

講義

• 第1回 (2011年04月05日) (資料 PDF​, pptx​: 2010/04/05 15:27 更新)
• 第2回 (2011年04月12日)
• 第3回 (2011年04月19日)
• 第4回 (2011年04月26日)
• 第5回 (2011年05月10日)
• 第6回 (2011年05月17日)
• 第7回 (2011年05月24日)
• 第8回 (2011年05月24日)

参考資料

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