Crise économique de 2008
Présentation du cours
Programmation fonctionnelle
Cours 1 : les types simples Licence 1 Année 2012 – 2013 Par N. VINCENT
• Cours 18 h ; TD 18 h ; TP 18 h • 9 groupes de TD et TP commencent la semaine prochaine
• Contrôle
– Contrôle continu
• 3 CC : 18 février , 25 mars et en mai • 1 mini-projet sur machine séance 11 en TP
– Pas d’examen
Licence 1 - programmation fonctionnelle
2
Contenu du cours
• 1er semestre
Structures de contrôle de base en langage C
Rappels
• Problème à résoudre • Analyse de la solution choisie • Écriture de l’algorithme - validation • Choix d’un langage
– Ici Caml
• Objectif du 2e semestre
– Apprendre un nouveau langage – Comprendre la programmation fonctionnelle – Conforter les éléments d’algorithmie
• Le choix du Caml
– Permet la programmation fonctionnelle et impérative
Licence 1 - programmation fonctionnelle
• Écriture du programme
– Structures – fonctions – Instructions
3
Licence 1 - programmation fonctionnelle
4
Le langage CAML
• Issu du λ-calcul, en 1977, le langage ML • 10 ans plus tard le langage Caml : Categorical Abstract Machine Language • Langage fonctionnel :
– Définitions de fonctions, – Les résultats des fonctions étant de tout type
Caractéristiques du langage
• Types de données très rigoureux • Les types sont évalués au cours des calculs
– Pas nécessaire de les déclarer
• Langage évolué • Langage interprété
Licence 1 - programmation fonctionnelle
• Une variable ne peut pas être utilisée dans un calcul sans avoir une valeur définie • Un programme est une suite de définitions, de fonctions et de données • On ne peut utiliser une fonction avant qu’elle ait été définie
Licence 1 - programmation fonctionnelle
5
6
1
17/01/13
Langage interprété l l l l
L'interpréteur
• Écriture d’une expression
– Après le « prompt » # – Jusqu'au lancement ;;
# 1 + 1;;
Écriture d’une expression 2 + 2 2 = 2 Lecture