Ross Paterson wrote:
>
> John Hughes has defined a new abstract view of computation, in his
> (currently draft) paper "Generalising Monads to Arrows", at
>
> http://www.cs.chalmers.se/~rjmh/Papers/arrows.ps
Has anyone else read this paper? I'm interested in hearing comments, if
only to point out some things that I may have missed. I'll admit, I
haven't read the entire paper. I gave up after the 16th page, because it
was so conceptually unwieldy. It's not that I had difficulty
understanding how the system works, it's just that I found it difficult
to believe that such a complex system would be useful in general
practice. (Also, I'm not a mathematician who does a significant amount
of work in category theory, so that may contribute to its apparent
awkwardness to me.)
- Michael Hobbs
