ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| PARADIGMI DI PROGRAMMAZIONE | INF/01 | LEZIONI | 72 |
|
Imparare i principi alla base dei principali paradigmi di programmazione (funzionale, object-oriented e concorrente) e del funzionamento dei linguaggi di programmazione moderni.
Learn the fundamental principles of the main programming paradigms (functional, object-oriented and concurrent) and behind modern programming languages.
Esame finale, scritto e orale
Final exam. Written and oral tests.
Imparare a ragionare sul funzionamento dei linguaggi di programmazione in astratto, tramite modelli formali del loro comportamento. Imparare ad apprendere nuovi linguaggi di programmazione. Imparare a programmare nel linguaggio OCaml.
Learn how to reason about the funcioning of programming languages in an abstract way, through formal models of their behaviour. Learn how to learn new programming languages. Learn functional programming in OCaml.
Esercitazioni durante il corso ed esame finale
Exercises and final exam
Programmare in modo consapevole, avendo cognizione di cosa accade al programma in fase di compilazione ed esecuzione.
Being an aware programmer that understands what happens to the program at compile-time an run-time.
Esercitazioni durante il corso ed esame finale
Exercises and final exam
- Elementi di linguaggi formali, semantica e programmazione visti nei corsi del primo anno
- Linguaggio JavaScript
- Notions of formal languages, semantics and programming from the 1st year courses
- JavaScipt programming language
Lezioni frontali con slides e uso dei jupyter notebooks in OCaml
- Paradigma di programmazione funzionale
L’essenza: il λ-calcolo; Il linguaggio OCaml; Formalizzazione di un linguaggio funzionale; Implementazione in OCaml di un interprete del linguaggio funzionale; Sistemi di tipi nei linguaggi funzionali;
- Paradigma di programmazione object-oriented
L’astrazione dei dati e gli oggetti; Modularità, incapsulamento, ereditarietà, principio di sostituzione, e class-based vs object-based; Formalizzazione di linguaggi object-oriented; Sistemi di tipi nei linguaggi object-oriented; Tecniche di implementazione di linguaggi class-based (es. Java Virtual Machine); Esempi di implementazione in OCaml
- Paradigma di programmazione concorrente
Concetti di base: esecuzione non sequenziale; Formalizzazione di un modello di concorrenza; Costrutti di programmazione concorrente nei linguaggi moderni
Functional programming:
- lambda calculus
- the OCaml programming language (functional core)
- formalization of a functional programming language and implementation of an interpreter in OCaml
- type systems in functional languages
Object-oriented programming:
- Abstract data types
- Modularity, incapsulation, inheritance and substitution principle
- Class-based vs object-based langauges
- Types in OOP languages
- Aspects of implementation of OOP languages (es. Java Virtual Machine)
Concurrent programming
- non-sequential execution
- formalization of a model of concurrency
- concurrency in modern programming languages
Materiale didattico:
- Slides e dispense fornite dal docente
- Jupyter notebooks in OCaml
- Registrazione delle lezioni
Libri di testo consigliati (per approfondimenti):
- Real World OCaml ( https://dev.realworldocaml.org/ )
- Peter Sestoft, Programming Language Concepts
- Maurizio Gabrielli e Simone Martini, Linguaggi di programmazione
Nessuna
Scritto e orale
Nessuna
