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. -Brent 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.
Luca._______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners