SEMINAIRE5. Programmation fonctionnelle
Aucune description
0 (0 avis)
A propos de cette formation
Avancée
A partir de 0,00 Ar HT
jours | heures
personnes
Sessions
Programmes de cette formation
-
- Contenu
● Lambda calcul. Equivalence avec le mu-calcul et la machine de
Turing.
● Scala
● Typage statique polymorphe
● Immutabilité. Fonctions comme citoyens de première classe.
● Types algébriques. Appariement de motifs.
● Evaluation paresseuse. Evaluation gourmande.
● Flux. Mappeurs. Réducteurs. Monades.
● Types dépendants. GADT.
Proposé par
Public concerné
Prérequis
- PROG2P1
