In computer science, arrows provide a more general interface to computation than monads. Monads essentially provide a sequential interface to computation: one can build a computation out of a value, or sequence two computations together. Arrows provide more possibilities, including expressing (true, nondeterministic) parallel computation. Indeed, all monads in Haskell are instances of arrows of a particular kind, ArrowApply.

PropertyValue
dbpprop:abstract
  • In computer science, arrows provide a more general interface to computation than monads. Monads essentially provide a sequential interface to computation: one can build a computation out of a value, or sequence two computations together. Arrows provide more possibilities, including expressing (true, nondeterministic) parallel computation. Indeed, all monads in Haskell are instances of arrows of a particular kind, ArrowApply. Because arrows carry more type information than just the result type, composition can be more efficient — for example, eliminating space leaks. Arrows have found use in functional reactive programming.
  • 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.
dbpprop:reference
dbpprop:wikiPageUsesTemplate
dbpprop:wikibooksProperty
  • Arrows
  • Haskell
rdfs:comment
  • In computer science, arrows provide a more general interface to computation than monads. Monads essentially provide a sequential interface to computation: one can build a computation out of a value, or sequence two computations together. Arrows provide more possibilities, including expressing (true, nondeterministic) parallel computation. Indeed, all monads in Haskell are instances of arrows of a particular kind, ArrowApply.
  • 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.
rdfs:label
  • Arrows (functional programming)
  • Flèches dans la programmation fonctionnelle
skos:subject
foaf:page
is dbpprop:redirect of