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.
M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
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
M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
THE OBJECTIVE CAML SYSTEM. DOCUMENTATION AND USER'S GUIDE.
Type of evaluation
Written test Evaluation in progress