Flèches dans la programmation fonctionnelle
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
En informatique les flèches fournissent une interface plus générale au calcul que les monades. Les monades fournissent une interface séquentielle au calcul; on peut construire un calcul à partir d'une valeur, ou séquencer deux calculs. Les flèches fournissent plus de possibilités, dont l'expression de calcul parallèle non déterministe. En effet, toutes les monades en Haskell sont des instances de flèches du type ArrowApply. Comme les flèches comportent plus d'information que le type résultat, leur composition peut être plus efficace par exemple en éliminant les fuites mémoire.
[modifier] Source
- (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Arrows_in_functional_programming ».
[modifier] Liens Externes
- (en) Arrows: A General Interface to Computation
- (en) Generalising Monads to Arrows, John Hughes, in Science of Computer Programming 37, pp67–111, May 2000.
- (en) programming with arrows John hughes
- (en) A New Notation for Arrows, Ross Paterson, in ICFP, Sep 2001.
- (en) Arrows and Computation, Ross Paterson, in The Fun of Programming, Palgrave, 2003.
- (en) Arrow notation ghc manual
