Remix.run Logo
LexiMax 5 days ago

I will die on the hill that string concatenation should have its own operator, and overloading + for the operation is a mistake.

Languages that get it right: SQL, Lua, ML, Perl, PHP, Visual Basic.

o11c 5 days ago | parent | next [-]

I think it's fine when the language has sufficiently strict types for string concatenation.

Unfortunately, many languages allow `string + int`, which is quite problematic. Java is to blame for some of this.

And C++ is even worse since literals are `const char[]` which decays to pointer.

Languages okay by my standard but not yours include: Python, Ruby.

zevets 5 days ago | parent | prev | next [-]

Alternatively, any implementation of operator+ should have a notional identity element, an inverse element and be commutative.

AlotOfReading 5 days ago | parent [-]

C++ would be a very different language if you couldn't use floats:

(NaN + 0.0) != 0.0 + NaN

Inf + -Inf != Inf

I suspect the algebraists would also be pissed if you took away their overloads for hypercomplex numbers and other exotic objects.

112233 5 days ago | parent | prev | next [-]

Tangential, but Lua is the most write-only language I have had pleasure working with. The implementation and language design are 12 out of 10, top class. But once you need to read someone else's code, and they use overloads liberally to implement MCP and OODB and stuff, all in one codebase, and you have no idea if "." will index table, launch Voyager, or dump core, because everything is dispatched at runtime, it's panic followed by ennui.

butterisgood 4 days ago | parent [-]

Perl was one for me that I always had a little trouble reading again later.

I guess forth as well... hmmm

Animats 5 days ago | parent | prev | next [-]

> string concatenation should have its own operator,

It does: |

That character was put in ASCII specifically for concatenation in PL/1.

Then came C.

renox 5 days ago | parent [-]

D (as always) is clever: the operator is ~ So no confusion between addition and concatenation and you can keep | for or.

Defletter 5 days ago | parent [-]

Question, does that work with other types? Say you have two u16 values, can you concatenate them together with ~ into a u32 without any shifting?

nicwilson 5 days ago | parent | next [-]

It works with arrays (both fixed size, and dynamically sized) and arrays; between arrays and elements; but not between two scalar types that don't overload opBinary!"~", so no it won't work between two `ushorts` to produce a `uint`

renox 4 days ago | parent | prev [-]

No, it doesn't. But I'm not sure that this matter, a sufficiently "smart" compiler understand that this is the same thing.

account42 5 days ago | parent | prev | next [-]

Those languages need a dedicated operator because they are loosely typed which would make it ambiguous like + in JavaScript.

But C++ doesn't have that problem. Sure, a separate operator would have been cleaner (but | is already used for bitwise or) but I have never seen any bug that resulted from it and have never felt it to be an issue when writing code myself.

_flux 4 days ago | parent [-]

Though then you can have code like "hello" + "world" that doesn't compile and "hello" + 10 that will do something completely different. In some situations you could actually end up with that by gradual modification of the original code..

Granted this is probably a novice-level problem.

dgb23 5 days ago | parent | prev | next [-]

PHP overloads operators in other ways though.

CyberDildonics 4 days ago | parent | prev | next [-]

But why, where does it become a problem?

paulddraper 5 days ago | parent | prev [-]

This is so sad obvious it’s painful.

Arithmetic addition and sequence concatenation are very very different.

——

Scala got this right as well (except strings, Java holdover)

Concatenation is ++

Animats 5 days ago | parent [-]

Python managed to totally confuse this. "+" for built-in arrays is concatenation. "+" for NumPy arrays is elementwise addition. Some functions accept both types. That can end badly.