Formation Caml, tutoriel & guide de travaux pratiques en pdf.
Les grandes familles
Langages d´eclaratifs fonctionnels : Lisp/Scheme, ML/OCaml, Haskell, . . .
`a flots de donn´ees : Sisal, SAC, . . .
logiques, `a contraintes : Prolog, Excel ( ?), . . .
Langages imp´eratifs classiques : Fortran, Pascal, Basic, C, . . .
`a objets : Smalltalk, Eiffel, C++, Java, C#, Python, . . .
Techniques de mise en œuvre
1. Pre-traiter
cpp, m4, macros des langages Lisp agissent sur le texte source des programmes sans «comprendre» le programme ni proc´eder `a son ex´ecution
2. Compiler = traduire traduction d’un programme source en un programme «objet» donne du sens au programme : la traduction pr´eserve le sens ne proc`ede pas `a l’ex´ecution du programme (entrées non disponibles)
Attention
«source» 6) «haut niveau»
«objet» 6) «bas niveau
3. Interpr´eter = ex´ecuter ex´ecuter le programme avec ses donn´ees machine logicielle (virtuelle) ou r´eelle
1 Préliminaires
Objectifs du cours
Organisation
2 Les langages de programmation
Les grandes familles
Techniques de mise en oeuvre
3 Objective Caml
Opérations de base
Fonctions et filtrage
Polymorphisme et modularité
TP
