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.

• Lecture notes.
• Slides (updated).
• Exercise 0.
• Exercise 1.

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