Request PDF on ResearchGate | Generalising monads to arrows | Monads have become very popular for structuring functional programs since. Semantic Scholar extracted view of “Generalising monads to arrows” by John Hughes. CiteSeerX – Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): this paper. Pleasingly, the arrow interface turned out to be applicable to other.

Author: Dogore Vorg
Country: Ethiopia
Language: English (Spanish)
Genre: Medical
Published (Last): 16 March 2011
Pages: 181
PDF File Size: 13.22 Mb
ePub File Size: 4.45 Mb
ISBN: 222-7-35772-810-6
Downloads: 69818
Price: Free* [*Free Regsitration Required]
Uploader: Mihn

Papers relating to arrows, divided into generalitiesapplications and related theoretical work.

The list is also available in bibtex format. The paper introducing “arrows” — a friendly and comprehensive introduction.

Arrows: bibliography

It doesn’t even assume a prior knowledge of monads. An old draft is available online [ pspdf ].

The main differences in the final version are: Introduces the arrow notation, but will make more sense if you read one of the other papers first. An overview of arrows from first principles, with a simplified account of a subset of the arrow notation. A tutorial introduction to arrows and arrow notation.

  DVH 5161 PDF

There was a problem providing the content you requested

A tutorial introduction to Yampathe latest incarnation of FRP. This paper uses state transformers, which could have been cast as monads, but the arrow formulation greatly simplifies the calculations.

An extension of the previous paper, additionally using static arrows. Causal Commutative Arrows and Their Optimization.

Decribes the arrowized version of FRP. Related theoretical work Here is an incomplete list of theoretical papers dealing with structures similar to arrows. Arrows may be seen as strict versions of these.

CiteSeerX — Generalising Monads to Arrows

Where the arrow functors arr and lift preserve objects, Blute et al introduce mediating morphisms, with dozens of coherence conditions. They also deal with cocontextwhich subsumes ArrowChoice in the same way.

They then propose a general model of computation: The Kleisli construction on a strong monad is a special case. If the monoidal structure geeneralising C is given by products, this definition is equivalent to arrows.


Arrows: A General Interface to Computation

generalieing In [PT99] this case is called a Freyd-category. Implicit in Power and Robinson’s definition is a notion of morphism between these structures, which is stronger and less satisfactory than that used by Hughes.

This leads to an straightforward semantics for Moggi’s computational lambda-calculus. The first mention of the term Freyd-category.