Почему "+=" сложнее реализовать, чем "+": опыт HydraScript

Автор языка программирования HydraScript, написанного на C#, рассказывает, почему реализация оператора «+=» оказалась заметно сложнее, чем базового «+». На первый взгляд задача кажется тривиальной: если работает присваивание и работает сложение, то сокращённая форма должна собираться из них почти автоматически. На практике всё упирается в семантику языка, порядок вычислений и обработку типов.

Основная сложность связана с тем, что «+=» — это не просто синтаксический сахар над «x = x + 1». Компилятор должен корректно разрешить перегрузку операторов, учесть возможные побочные эффекты при вычислении левой части, обеспечить правильную работу с изменяемыми и неизменяемыми значениями, а также сохранить предсказуемое поведение при наследовании и неявных преобразованиях типов.

Кейс HydraScript полезен разработчикам, которые проектируют собственные языки или DSL: он наглядно показывает, что даже привычные конструкции требуют продуманной архитектуры компилятора. Полный разбор реализации и конкретные решения — на сайте источника.