Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
cnam:utc503:declarative:fonctionnelle [2023/11/10 00:20] – [4- Fonction d'ordre supérieur] jcheron | cnam:utc503:declarative:fonctionnelle [2023/11/10 07:27] (Version actuelle) – jcheron | ||
---|---|---|---|
Ligne 5: | Ligne 5: | ||
Basée sur l' | Basée sur l' | ||
- | La prog fonctionnelle n' | + | La prog fonctionnelle n' |
Les langages fonctionnels sont ceux vouent un culte à ces principes ou sont basés sur eux : | Les langages fonctionnels sont ceux vouent un culte à ces principes ou sont basés sur eux : | ||
Ligne 180: | Ligne 180: | ||
</ | </ | ||
- | ===== 4- Fonction d' | + | ==== 4- Fonction d' |
Fonctions objet de première classe ou Functions as first-class entities : | Fonctions objet de première classe ou Functions as first-class entities : | ||
Ligne 213: | Ligne 213: | ||
**doubleOperator** est une fonction d' | **doubleOperator** est une fonction d' | ||
+ | |||
+ | ==== 5- Monades ==== | ||
+ | |||
+ | Structure permettant de manipuler des langages fonctionnels purs dans des traits impératifs. | ||
+ | |||
+ | **Exemples :** | ||
+ | |||
+ | * Result may or may not exist: solved by the Maybe monad. | ||
+ | * Nondeterministic number of result: solved by the List monad. | ||
+ | * Outside world interaction: | ||
+ | * Eventual result: solved by the Promise/ | ||
+ | * Dependence on state: solved by the State monad. | ||
+ | * Errors: solved by the Error monad. | ||
+ | |||
+ | ===== Applications ===== | ||
+ | |||
+ | * [[https:// | ||
+ | programming-with-js/ | ||
+ |