Algorithmique et Programmation Fonctionnelle (APF)
Algorithmique et Programmation Fonctionnelle
(APF)
RICM3
Cours 10 :
Traits impératifs et Lambda-calcul
Jean-François Monin, Benjamin Wack
Polytech
2016 - 2017
1 / 46
Algorithmique et Programmation Fonctionnelle (APF)
Déjà vu
IType unit, effets de bord
ISéquence d’instructions
ITableaux
IOrdre supérieur
2 / 46
Algorithmique et Programmation Fonctionnelle (APF)
Plan
Traits impératifs
Rappels sur les Entrées / Sorties
Boucles
Enregistrements mutables et références
Lambda-calcul
Programmation fonctionnelle et modèle de calcul
λ-termes
Évaluation
Modélisation
Récursivité
3 / 46
Traits impératifs
Rappels sur les Entrées / Sorties
Boucles
Enregistrements mutables et références
Lambda-calcul
Programmation fonctionnelle et modèle de calcul
λ-termes
Évaluation
Modélisation
Récursivité
Algorithmique et Programmation Fonctionnelle (APF)
Traits impératifs
Rappels sur les Entrées / Sorties
Entrées / sorties standard
Sortie
print_string affiche une chaîne de caractères passée en argument.
Valeur de retour ?
#print_string "hello" ; ;
hello- : unit = ()
unit est le type/la valeur de retour des fonctions
Iqui ne renvoient rien
Imais qui peuvent avoir des effets de bord
5 / 46
1 / 114 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !