17/01/13

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