Flèches dans la programmation fonctionnelle
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.
Source
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Arrow (computer science) » (voir la liste des auteurs).
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
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.