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.
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
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
participants (2)
-
Brent Yorgey -
Luca Ciciriello