Re: [stack] Advantages of cat, joy ..?

On Mar 23, 2009, at 5:39 PM, William Tanksley wrote:

> John Nowak wrote:
>
>> In all seriousness, I prefer the J term "fork" for cleave. For  
>> spread,
>> I'd suggest "par", or "parallel".
>
> I like that. But 'pair' is a dangerous pun, since it's commonly used  
> to
> join list nodes.

I've finally gotten my hands on a copy of Bird and de Moor's "Algebra  
of Programming" today. It uses the following terminology:

     fork a = (a, a)
     cross (f, g) (a, b) = (f a, g b)
     pair (f, g) a = (f a, g a)

In other words, they use "fork" for our "swap", "cross" for our  
"spread" (for which I proposed "pair"), and "pair" for our  
"cleave" (for which I propose "fork"). Just to make things extra  
confusing.

- John