Lecturer: Tyng-Ruey Chuang 莊庭瑞

The purpose of this course is to equip students with knowledge of functional programming using the Objective Caml language.

None. Each student must has her/his own labtop to work on programming assignments.

• Functional core of Objective Caml, type declarations and pattern matching, closure, exception.
• Algebraic data types, fold/unfold primitives for data types.
• The module language of Objective Caml, parameterized modules.
• Object-oriented programming in Objective Caml: Classes, Objects, and Methods.
• Imperative programming in Objective Caml; Mixing functional and imperative styles.

• Emmanuel Chailloux, Pascal Manoury and Bruno Pagano, Developing Applications With Objective Caml (English translation). I hope to cover chapters 1, 2, 3, 4, 14, 15, and 16.

• Xavier Leroy, with Damien Doligez, Jacques Garrigue, Didier Rémy and Jérôme Vouillon The Objective Caml System: Documentation and User's Manual (release 3.09).

• Lecture: slides and handout. This is temporary. New versions will be put online anytime.
• Exercise 1: slides and handout.
• Exercise 2: slides and handout. solution.
• Exercise 3: handout.