arrows.ps data

RE01 Rice Brian T. EM2 BRice@vinson.navy.mil
Tue, 9 Feb 1999 22:42:33 +0400


thank you, the paper you sent was very helpful.  it seems that the group
working on the haskell language has been involved with arrows for quite some
time.  their verions seems to take a point of view restricted to the
categorial grammar of arrow logic, which is specialized from the standpoint
that i want to use.  it is, of course, quite useful, despite this
restriction, as a higher-order functional notation ( a lambda
specification).

for anyone who wants to undestand my background on arrow logic, or how it
applies to Tunes, take a look at:

http://www.soi.city.ac.uk/~ross/notes/ArrowsInHaskell.html

and particularly at the postscript paper available there.

it provides some nicely intuitive examples of the power of arrow logic, even
if the syntax takes a little time to get used to.

Brian