Re: your edit, I think the real answer is that the correct translation is fully context dependent, and the people who want it strict want to basically force/pre

Re: your edit, I think the real answer is that the correct translation is fully context dependent, and the people who want it strict want to basically force/precompute the context, vs the people who want it loose want the context itself to smartly decide what the string means to itself. The problem is that modern paradigms are squishy about this, and aren’t smart enough to consistently do the right thing, so real systems end up both too strict and brittle for the real world domain but also too loose and ambiguous to be bug free.