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