This HTML5 document contains 73 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
n4http://www.haskell.org/
n14http://www.soi.city.ac.uk/~ross/papers/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n16https://web.archive.org/web/20071014174133/http:/haskell.org/ghc/docs/latest/html/users_guide/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n13http://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Arrow_(computer_science)
rdfs:label
Arrow (computer science)
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.
owl:sameAs
freebase:m.074s87
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Citation_needed dbt:Wikibooks dbt:Mono
dct:subject
dbc:Functional_programming
dbo:wikiPageExternalLink
n4:arrows n14:notation.html n16:arrow-notation.html
gold:hypernym
dbr:Class
prov:wasDerivedFrom
n13:Arrow_(computer_science)?oldid=1032266408&ns=0
dbo:wikiPageID
2337658
dbo:wikiPageLength
13961
dbo:wikiPageRevisionID
1032266408
dbo:wikiPageWikiLink
dbr:Equivalence_of_categories dbr:Kleisli_category dbr:Compiler dbr:Freyd_category dbr:Type_class dbr:First-class_function dbr:Computer_science dbr:Haskell_(programming_language) dbr:Fudgets dbr:Pure_function dbc:Functional_programming dbr:Debugging dbr:Category_(mathematics) dbr:Expression_(computer_science) dbr:Functional_programming dbr:Optimizing_compiler dbr:Type_constructor dbr:Static_program_analysis dbr:Conditional_(computer_programming) dbr:Code_reuse dbr:Inheritance_(object-oriented_programming) dbr:Purely_functional_programming dbr:Functional_reactive_programming dbr:Syntactic_sugar dbr:Side_effect_(computer_science) dbr:Interface_(computing) dbr:John_Hughes_(computer_scientist) dbr:Imperative_programming dbr:Declarative_programming dbr:Profunctor_(programming) dbr:Enriched_category dbr:Associative_property dbr:Function_(mathematics) dbr:Tuple dbr:Feedback dbr:Distributive_property dbr:Reification_(computer_science) dbr:Category_theory dbr:Monad_(category_theory) dbr:Standard_library dbr:Graphical_user_interface dbr:Library_(computing) dbr:Monad_(functional_programming) dbr:Programming_language dbr:Morphism dbr:Commutative_property dbr:Data_type dbr:Function_composition dbr:Instruction_set_architecture dbr:Subset dbr:Parsing dbr:Referential_transparency dbr:Computation dbr:Optics_(programming) dbr:Tacit_programming
dbo:abstract
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.
foaf:isPrimaryTopicOf
n13:Arrow_(computer_science)