Re: [stack] function "adjoinment"?

"William Tanksley, Jr" <[email protected]> wrote:

> John Nowak <[email protected]> wrote:

>> (a -> b) -> (c -> d) -> (a++b -> c++d)
>> where ++ is concatenation and a,b,c,d are tuples/stacks
> 
> I'm so bad at reading this kind of notation. But I think I see what
you're
> describing.

Might've helped if I described it correctly. I meant:

   (a -> b) -> (c -> d) -> (a++c -> b++d)

Or, to put it another way, if composition is this:
 ____ 
|____|
|____|

Then adjoinment is this:
 ____ ____
|____|____|

Really "concatenation" is a much better term for this than adjoinment
considering the input tuples are necessarily concatenated to be passed to
such a function... but using that term here is likely a bad idea.

I have a *very* tentative sketch of some ideas here; it wasn't written to
be made public, but if anyone wants to look at my notes, go for it:

http://johnnowak.com/heap/vis.txt

- jn