Knowledge of the functional programming paradigm, its underlying concepts and basic techniques used in modern functional languages. Acquisition of programming abilities in the programming language objective Calm.
teacher profile teaching materials
Design and implementation of recursive programs. Definition and use of higher order functions.
Data structures: lists, trees, graphs. Implementation of backtracking algorithms. The module system of Objective Caml (structures and signatures). Parser generators. Study of an application: propositional logic.
See the course web site: http://cialdea.dia.uniroma3.it/teaching/pf/
M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
(alternatively,
M. Cialdea Mayer, Introduzione alla programmazione funzionale con Objective Caml (lecture notes))
M. Cialdea Mayer, Introduzione alla logica proposizionale (lecture notes)
THE OBJECTIVE CAML SYSTEM. DOCUMENTATION AND USER'S GUIDE.
Programme
Basic features of the functional programming paradigm. Introduction to the language Objective Caml.Design and implementation of recursive programs. Definition and use of higher order functions.
Data structures: lists, trees, graphs. Implementation of backtracking algorithms. The module system of Objective Caml (structures and signatures). Parser generators. Study of an application: propositional logic.
Core Documentation
See the course web site: http://cialdea.dia.uniroma3.it/teaching/pf/
M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
(alternatively,
M. Cialdea Mayer, Introduzione alla programmazione funzionale con Objective Caml (lecture notes))
M. Cialdea Mayer, Introduzione alla logica proposizionale (lecture notes)
THE OBJECTIVE CAML SYSTEM. DOCUMENTATION AND USER'S GUIDE.
Type of delivery of the course
Class lessons and exercisesType of evaluation
Written exam