# Name of a particular property

This topic is 1670 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

## Recommended Posts

Hello,

in my library I'm working on, I have a few functions which take (among other parameters) a data buffer, with the property that calling such a function twice in succession, with two data buffers, is equivalent to calling it once with the ordered concatenation of both data buffers. In other words:

F("hello")
F(" ")
F("world")

Is strictly equivalent to:

F("hello world")

Is there a name for such a property? For instance a function such that F(F(x)) = F(x) is called idempotent. I'm asking because I'm tired of describing this property in such a long-winded manner in my documentation, and it would be nice if there was a word I could use to sum it all up efficiently.

Thanks!

##### Share on other sites

Linear?

f(x + y) = f(x) + f(y)

(although linearity also means f(a*x) = a * f(x)).

##### Share on other sites

I'm not an expert on the topic, but this ressembles a lot the way IO is handled in haskell via monads. You might want to look into that.

Here's a really nice explanation and some more monad examples.

##### Share on other sites

I don't know of a name, but I can make one up: "concatenation invariant". :)

##### Share on other sites

Linear?

f(x + y) = f(x) + f(y)

(although linearity also means f(a*x) = a * f(x)).

This seems ok to me

print("A"+"B")=print("A")+print("B")

print(5*"A")=print("A"+"A"+"A"+"A"+"A")+print("AAAAA")

##### Share on other sites

Linear?

f(x + y) = f(x) + f(y)

(although linearity also means f(a*x) = a * f(x)).

That would be fine for a couple of them but many of them do not actually return an output of the same size as the input (or at all) so in those instances "linear" would be meaningless, unfortunately.

I don't know of a name, but I can make one up: "concatenation invariant".

I like it

##### Share on other sites

As you're dealing with data buffer, it seems that the function is some kind of stream writing operator.

##### Share on other sites

I don't know of a name, but I can make one up: "concatenation invariant".

##### Share on other sites

I have a few functions which take (among other parameters) a data buffer, with the property that calling such a function twice in succession, with two data buffers, is equivalent to calling it once with the ordered concatenation of both data buffers.

I don't think that is a very good idea.

When it comes to building a language, make it apply in ALL cases.  Something that applies in only SOME cases is usually a bug.

Print("Hello"); Print(" "); Print("World!);

might just happen to be functionally equivalent to Print("Hello World!");

But it is not universally true of all string functions.  It is very different from:

PrintLine("Hello"); PrintLine(" "); PrintLine("World!");

The result should be three distinct entries.  It would be functionally equivalent to Print("Hello\n \nWorld!\n");

Or consider:

ShowDialog("Hello"); ShowDialog(" "); ShowDialog("World!");

I expect three distinct dialog boxes, not one single dialog box with the strings concatenated.

It is one thing to allow adjacent string literals to be concatenated.  It is quite another thing to not call adjacent functions because their parameters happen to be the same type.

##### Share on other sites

I have a few functions which take (among other parameters) a data buffer, with the property that calling such a function twice in succession, with two data buffers, is equivalent to calling it once with the ordered concatenation of both data buffers.

I don't think that is a very good idea.

[...]

I don't understand your objection. Perhaps you misread something? He is not saying that this property is universal, only that he has several functions with that property and he wants to know of a short way to describe it. It sounds very reasonable to me...

##### Share on other sites
How does the documentation for std::cin describe it?

##### Share on other sites

Yes, I am not building a language. But some of my library's functions simply behave that way to allow for arbitrary amounts of data to be provided and at any rate, not limited by the amount of data that can be physically present on one invocation of the function (think about a network socket, for instance, you don't know how much data you are going to receive next, you could receive it all in one shot, or one byte each time you check, so you need a way to make it work the same regardless of how much you've got every time you poll the socket - there are other examples of course). Actually everything is quite consistent overall.

How does the documentation for std::cin describe it?

It doesn't really say anything, actually. The std::cout version says it "inserts" into the stream. I think the notion of stream might help me describe it, though.

Edited by Bacterius

##### Share on other sites

Hello,

in my library I'm working on, I have a few functions which take (among other parameters) a data buffer, with the property that calling such a function twice in succession, with two data buffers, is equivalent to calling it once with the ordered concatenation of both data buffers. In other words:

F("hello")
F(" ")
F("world")

Is strictly equivalent to:

F("hello world")

Is there a name for such a property? For instance a function such that F(F(x)) = F(x) is called idempotent. I'm asking because I'm tired of describing this property in such a long-winded manner in my documentation, and it would be nice if there was a word I could use to sum it all up efficiently.

Thanks!

I don't know of a name, but I can make one up: "concatenation invariant".

Buffered concatenation........?

##### Share on other sites

Buffered invariant concatenation!