Course Pages
- Education Page
- Description
- Literature
- Schedule
- Assignments

Center
Master Program

Haskell Arrows

Afp0304

---++ Litature
   * [[http://www.cs.chalmers.se/~rjmh/][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 ([[http://www.cs.chalmers.se/~rjmh/Papers/arrows.ps][ps]], [[http://www.cs.chalmers.se/~rjmh/Papers/arrows.pdf][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 
   * [[http://www.soi.city.ac.uk/~ross/][Ross Paterson]], [[http://www.soi.city.ac.uk/~ross/papers/notation.html][A New Notation for Arrows, in ICFP 2001]], Firenze, Italy, pp229-240.
   * [[http://www.soi.city.ac.uk/~ross/][Ross Paterson]], [[http://www.soi.city.ac.uk/~ross/papers/fop.html][Arrows and Computation]], in The Fun of Programming (Jeremy Gibbons and Oege de Moor, Eds.), pp201-222, Palgrave, 2003.

---++ Schedule
   * Read papers
   * Create Presentation

-- Main.ArjanOosting - 14 Sep 2003

   * [[%ATTACHURL%/arrows1.pdf][Arrows. Part One: Introduction]]: Part One of the presentation.
   * [[%ATTACHURL%/arrows-deel2.pdf][Part 2 of the presentation (with the exercises)]]: 
   * [[%ATTACHURL%/arrows-deel2.lhs][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.

Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
lhs	arrows-deel2.lhs	manage	18.8 K	06 Nov 2003 - 14:32	ArjanOosting	Source Part 2 of presentation
pdf	arrows-deel2.pdf	manage	359.0 K	06 Nov 2003 - 14:31	ArjanOosting	Part 2 of the presentation (with the exercises)
lhs	arrows.lhs	manage	20.2 K	03 Nov 2003 - 18:16	ArjanOosting	Source of the presentation (beta)
ps	arrows.ps	manage	1191.0 K	06 Nov 2003 - 14:30	ArjanOosting	Draft of Arjan's part of the presentation
pdf	arrows1.pdf	manage	444.3 K	07 Nov 2003 - 08:10	StefanHoldermans	Part One of the presentation