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

[metaclass]

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

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

Comments

[aamonster.livejournal.com]

Для полноты картины предлагаю сообщение об ошибке тоже ограничить 3 символами.

[w00dy.livejournal.com]

> если сначала выполняется конкатенация строк

Сначала должна выполняться проверка на границы. len (a) == 3, sizeof (a) == 3. 3 + 1 > 3 - наступает рунтиме еггог.

[frotmnenogi.livejournal.com]

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

[wizzard]

InvalidCast string -> LimitedString

etc.

[permea-kra.livejournal.com]

Может сделать таки строки иммутабельными на манер джавы, а в переменной хранить на эту строку ссылку ?

[zamotivator.livejournal.com]

Что значит "показать причину этой ошибки"?