第1回PPLサマースクール講義資料「OCamlによるプログラミング」

2003年9月15日
講師:Jacques Garrigue

多くのバグを排除できる強い型システムと簡潔な表現を許す関数と値の自由な 扱いはObjective Camlの魅力である。このチュートリアルではObjective Caml の型システムの様々な面を紹介した後、それを具体的なプログラミングに応用 する。型推論の基礎から始め、プログラムが 型を誘導するのと同様に、型が プログラムの構築を誘導することを見る。できるだけ関数型プログラミングの 初心者が理解できながら、経験の長いプログラマでも興味がもてるものにした い。

講義資料(スライド)


JG 2003.09.22