byorgey at seas.upenn.edu
Sun May 30 10:41:56 EDT 2010
What do you mean by the Arrows calculus? Can you give a link? If you
mean Lindley, Wadler, and Yallop's work, then yes, that is directly
related to Control.Arrow. If you mean some other formalism with the
same name, then I'm not sure.
On Sun, May 30, 2010 at 04:14:27PM +0200, Luca Ciciriello wrote:
> Hi All.
> As a mathematician I've studied the Arrows calculus as extension of the lambda calculus. Now I've found in the Haskell programming language that there is a library named Control.Arrow. I've read on Haskell wiki that Control.Arrow is a generalization of monads. So, is that library related in same way with the Arrows calculus?
> Thanks in advance for any answer.
> Beginners mailing list
> Beginners at haskell.org
More information about the Beginners