PHP also uses different operators for addition and concatenation, but I feel that it has just as much, if not more, implicit conversion weirdness as JS. It see

PHP also uses different operators for addition and concatenation, but I feel that it has just as much, if not more, implicit conversion weirdness as JS. It seems to me like those two things are orthogonal. (Not that JS wouldn't necessarily be nicer with a separate concatenation operator.)