О конкатенации строк

[metaclass]

Дано: мутабельная переменная максимально длиной 3 символа. В ней записано этих самых три символа и некий интерпретатор пытается выполнить следующую операцию:
a=a+'c'
само собой, падая с рунтайм-ошибкой.

Внимание, вопрос: насколько теоретически сложно в рунтайм-ошибке показать причину этой ошибки, если сначала выполняется конкатенация строк с получением 4-символьной строки, а потом производится присвоение этой строки переменной, где может хранится только 3 символа?

Comments

[frotmnenogi.livejournal.com]

может просто запретить конкатенацию при onPlace операции (или тех, что деградируют до неё) для настолько строго-типизированных исходных значений? И ошибка тогда будет TypeError какая-нибудь.

[frotmnenogi.livejournal.com]

причем onPlace - это будет как параметр для переменной. То есть выражение может быть куда более навороченным:

a = "<tag>" + b + "e" + a + "</tag>"

то переменная "a" именно внутри этого выражения получает свойство onPlace, а при попытке сконкатить с кем то - "page error: core dumped" :)

[frotmnenogi.livejournal.com]

Этот параметр может присваиваться и исследоваться его наличие только в случае неуспешного исполнения обратного присвоение - как возможная схема back compatible уже имеющегося код-генератора (для статичной типизации вроде ничо)