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

>> Редактор ДОПУСКАЕТ символьный ввод ТОЛЬКО в нужных местах. Программист просто не сможет изменить ключевое слово, стереть скобку и т.д.

DG>Это неправильно. Резко уменьшаются возможности редактирования.

DG>Часто из одного корректного текста можно перейти к другому корректному тексту только через некорректный.

DG>Пример:
DG>

DG>int a; 
DG>...
DG>a = 1;
DG>

DG>Перед нами стоит задача поменять тип переменной a на строковый.
DG>У нас это не получится, потому что тип a мы не сможем поменять, потому что есть присваивание числа, а поменять a = 1 на строку тоже не сможем, потому что a объявлена как int.
DG>Именно, поэтому системы, которые поддерживают только корректный ввод данных — обречены.

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