Здравствуйте, 0x7be, Вы писали:

0>Здравствуйте, Pavel Dvorkin, Вы писали:

PD>>Может, я неправильно понял, но я полагал, что под статическим контролем компилятора ты имеешь в виду контроль в дизайн-тайме. А файлы компилируются независимо.
0>Верно. Каждый кусок кода будет получать свою ссылку на состояние объекта, с которого он должен "стартовать" и дальше будет иметь возможность работать только с теми, состояниями, которые он через это получит.

Все равно идею не понимаю. Перенести в compile-time логику работы программы... Так ведь, если доводить до предела, можно потребовать в compile-time определение правильной последовательности всех действий программы. А это означает, что эта последовательность должна быть жестко фиксированной и не зависеть от данных — от них зависимость в compile-time не проверишь же...