Flèches dans la programmation fonctionnelle
- 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
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
Voir aussi
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Flèches dans la programmation fonctionnelle de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Fleches dans la programmation fonctionnelle — 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 … Wikipédia en Français
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… … Wikipédia en Français
Monade (informatique) — Pour les articles homonymes, voir Monade. On se place dans le cadre de la programmation fonctionnelle typée. Sommaire 1 Concepts 1.1 Définition formelle … Wikipédia en Français
Architecture Logicielle — L’architecture logicielle décrit d’une manière symbolique et schématique les différents composants d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse… … Wikipédia en Français
Architectures logicielles — Architecture logicielle L’architecture logicielle décrit d’une manière symbolique et schématique les différents composants d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications… … Wikipédia en Français
Architecture logicielle — L’architecture logicielle décrit d’une manière symbolique et schématique les différents éléments d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse… … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
ORDINATEURS — On peut considérer que les tentatives d’automatisation des calculs remontent à quelques siècles, mais les véritables premiers ordinateurs n’ont été construits qu’à la fin de la Seconde Guerre mondiale. Outils universels par excellence, les… … Encyclopédie Universelle
Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants … Wikipédia en Français
Langage graphique — Un langage de programmation graphique ou visuel est un langage de programmation dans lequel les programmes sont écrits par assemblage d éléments graphiques. Sa syntaxe concrète est composée de symboles graphiques et de textes, qui sont disposés… … Wikipédia en Français
