OCAML
Espressioni pure
Funzioni
Let binding
Let rec binding
Tipi 1
Tipi 2
Tipi 3
Un tipo primitivo utile: le liste
Tipi e pattern matching
Punti fissi
Variabili e frammento imperativo
Un tipo primitivo mutabile: l’array
Moduli: interfaccie
Moduli: implementazione
Classi e oggetti
Ereditarietà
Il linguaggio didattico
Email: levi@di.unipi.it
Home Page: http://www.di.unipi.it/~levi/corsoLP/pagina.html
Download presentation source