luca_ciciriello at hotmail.com
Sun May 30 10:53:46 EDT 2010
Yes, I read the article "The arrow calculus" in the Journal of Functional Programming in January.
Thanks for your answer.
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.
> 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