Do you mean that if types had only to do with values, you would have to evaluate the term to determine type?
Also, 1 + "hello" is "1hello", obviously. Have you never read JavaScript? :)
I gather it goes through an intermediate coercion step where it is "1" + "hello".
What trips us up is having existing expectations for what an operator called + should do.
I gather it goes through an intermediate coercion step where it is "1" + "hello".
What trips us up is having existing expectations for what an operator called + should do.