Haskell Arrows

Litature

• John Hughes, Generalising Monads to Arrows, in Science of Computer Programming 37, pp67-111, May 2000. The paper introducing "arrows". An old draft is available online (ps, pdf). The main differences in the final version are:
  • the +++ and <+> operators are swapped,
  • the onto and one-to-one laws are discarded in favour of an identity law,
  • associativity laws have been added, and
  • the last few sections use a variant of the arrow notation of
• Ross Paterson, A New Notation for Arrows, in ICFP 2001, Firenze, Italy, pp229-240.
• Ross Paterson, Arrows and Computation, in The Fun of Programming (Jeremy Gibbons and Oege de Moor, Eds.), pp201-222, Palgrave, 2003.

Schedule

• Read papers
• Create Presentation

-- ArjanOosting - 14 Sep 2003

• Arrows. Part One: Introduction: Part One of the presentation.
• Part 2 of the presentation (with the exercises):
• Source Part 2 of the presentation This file defines all the Arrow classes and functions, so you can use this Haskell file as starting point for your anwsers on the exercises.