Yes, I read the article "The arrow calculus" in the Journal of Functional Programming in January. http://journals.cambridge.org/action/displayIssue?jid=JFP&volumeId=20&seriesId=0&issueId=01 Thanks for your answer. Luca. On May 30, 2010, at 4:41 PM, Brent Yorgey wrote:
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