Arrow (computer science) (original) (raw)
In computer science, arrows or bolts are a type class used in programming to describe computations in a pure and declarative fashion. First proposed by computer scientist John Hughes as a generalization of monads, arrows provide a referentially transparent way of expressing relationships between logical steps in a computation. Unlike monads, arrows don't limit steps to having one and only one input. As a result, they have found use in functional reactive programming, point-free programming, and parsers among other applications.
| Property | Value |
|---|---|
| dbo:abstract | En programació funcional una Fletxa s'utilitza en el llenguatge de programació Haskell i és un TAD que modela la precedència temporal de computacions basant-se en l'encadenament de funcions amb efectes col·laterals. Una fletxa, concepte desenvolupat per John Hughes, és una generalització d'una funció (amb un sol tipus d'entrada i un de sortida) on el resultat pot dependre d'efectes col·laterals o bé ser independent de l'entrada. Generalitza el concepte de Mònada, d'encadenament d'accions amb efecte col·lateral. Les mònades en són un cas particular anomenat ArrowApply. A més incorpora més informació de tipus que no el del resultat a les mònades, facilitant la composició i permetent evitar fuites d'ús de memòria. Té aplicació en (tractament de senyals i altres fluxos d'informació). L'abstracció Fletxa va ser descrita per primer cop per John Hughes al seu document "Generalising Monads to Arrows" com a solució als problemes d'un analitzador sintàctic. en va escriure una implementació anomenada PArrows que aproxima les prestacions de l'actual biblioteca d'anàlisi sintàctic de Haskell anomenada Parsec. Aquí presentem un aspecte pràctic al Haskell. Per una versió amb fonaments teòrics consulteu la versió anglesa o completeu-ne, qui en sàpiga més, l'exposició. (ca) In computer science, arrows or bolts are a type class used in programming to describe computations in a pure and declarative fashion. First proposed by computer scientist John Hughes as a generalization of monads, arrows provide a referentially transparent way of expressing relationships between logical steps in a computation. Unlike monads, arrows don't limit steps to having one and only one input. As a result, they have found use in functional reactive programming, point-free programming, and parsers among other applications. (en) En informatique les flèches fournissent une interface plus générale au calcul que lesmonades. 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'expressionde calcul parallèle non déterministe. En effet, toutes les monades en Haskell sont des instances deflèches du type ArrowApply. Comme les flèches comportent plus d'information que le typerésultat, leur composition peut être plus efficace par exemple en éliminant les fuites mémoire. (fr) |
| dbo:wikiPageExternalLink | http://www.haskell.org/arrows http://www.soi.city.ac.uk/~ross/papers/notation.html https://web.archive.org/web/20071014174133/http:/haskell.org/ghc/docs/latest/html/users_guide/arrow-notation.html |
| dbo:wikiPageID | 2337658 (xsd:integer) |
| dbo:wikiPageLength | 14038 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1115527473 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Enriched_category dbr:Monad_(category_theory) dbr:Declarative_programming dbr:Debugging dbr:Interface_(computing) dbr:Library_(computing) dbr:Commutative dbr:Compiling dbr:Function_(mathematics) dbr:Function_composition dbr:Monad_(functional_programming) dbr:Morphism dbr:Equivalence_of_categories dbr:Computation dbr:Computer_science dbr:Fudgets dbr:Functional_programming dbr:Functional_reactive_programming dbr:John_Hughes_(computer_scientist) dbc:Functional_programming dbr:Tuple dbr:Haskell_programming_language dbr:Data_type dbr:Feedback dbr:Graphical_user_interface dbr:Conditional_(programming) dbr:Type_class dbr:Pure_function dbr:Purely_functional_programming dbr:Reification_(computer_science) dbr:Associativity dbr:Syntax_sugar dbr:Code_reuse dbr:Referential_transparency dbr:Distributivity dbr:Identity_morphism dbr:Inheritance_(computer_science) dbr:Instruction_set dbr:Kleisli_categories dbr:Category_(mathematics) dbr:Category_theory dbr:Static_code_analysis dbr:Side_effect_(computer_science) dbr:Expression_(computer_science) dbr:Imperative_programming dbr:Programming_language dbr:First-class_function dbr:Parser dbr:Type_constructor dbr:Subset dbr:Point-free_programming dbr:Compiler_optimization dbr:Standard_libraries dbr:Freyd_category dbr:Optics_(programming) dbr:Profunctor_(programming) |
| dbp:wikiPageUsesTemplate | dbt:About dbt:Citation_needed dbt:Mono dbt:Reflist dbt:Wikibooks |
| dct:subject | dbc:Functional_programming |
| gold:hypernym | dbr:Class |
| rdfs:comment | In computer science, arrows or bolts are a type class used in programming to describe computations in a pure and declarative fashion. First proposed by computer scientist John Hughes as a generalization of monads, arrows provide a referentially transparent way of expressing relationships between logical steps in a computation. Unlike monads, arrows don't limit steps to having one and only one input. As a result, they have found use in functional reactive programming, point-free programming, and parsers among other applications. (en) En informatique les flèches fournissent une interface plus générale au calcul que lesmonades. 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'expressionde calcul parallèle non déterministe. En effet, toutes les monades en Haskell sont des instances deflèches du type ArrowApply. Comme les flèches comportent plus d'information que le typerésultat, leur composition peut être plus efficace par exemple en éliminant les fuites mémoire. (fr) En programació funcional una Fletxa s'utilitza en el llenguatge de programació Haskell i és un TAD que modela la precedència temporal de computacions basant-se en l'encadenament de funcions amb efectes col·laterals. Una fletxa, concepte desenvolupat per John Hughes, és una generalització d'una funció (amb un sol tipus d'entrada i un de sortida) on el resultat pot dependre d'efectes col·laterals o bé ser independent de l'entrada. Té aplicació en (tractament de senyals i altres fluxos d'informació). (ca) |
| rdfs:label | Fletxa (programació funcional) (ca) Arrow (computer science) (en) Flèches dans la programmation fonctionnelle (fr) |
| owl:sameAs | freebase:Arrow (computer science) wikidata:Arrow (computer science) dbpedia-ca:Arrow (computer science) dbpedia-fr:Arrow (computer science) https://global.dbpedia.org/id/2rFRB |
| prov:wasDerivedFrom | wikipedia-en:Arrow_(computer_science)?oldid=1115527473&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Arrow_(computer_science) |
| is dbo:wikiPageDisambiguates of | dbr:Arrow_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Arrow_(functional_programming) dbr:Arrows_(functional_programming) dbr:Arrows_in_functional_programming |
| is dbo:wikiPageWikiLink of | dbr:List_of_computer_scientists dbr:Arrow_(disambiguation) dbr:Monad_(functional_programming) dbr:John_Hughes_(computer_scientist) dbr:FAUST_(programming_language) dbr:Kappa_calculus dbr:Strict_conditional dbr:Arrow_(functional_programming) dbr:Arrows_(functional_programming) dbr:Arrows_in_functional_programming |
| is foaf:primaryTopic of | wikipedia-en:Arrow_(computer_science) |