Да, честно скажу, что писать на обероне мне намного тяжелее, чем на 1С . Но некоторые преимущества типизации видны невооруженным взглядом
. Действительно, уже на этапе компиляции большая часть ошибок выдается.
Понимаю, почему процедуры на обероне должны быть короткими (малострочными): чтобы была видна в них секция VAR: какого типа переменные используются. Исходя из типа уже обычно смысл переменных виден. Названия самих переменных можно и удобнее (без автокомплита), делать короче. Читабельность при этом не сильно страдает (хотя в 1С короткие переменные сводили бы с ума
, хотя реально код "захламляют"). Хотя в 1С тоже "желательны" короткие процедуры, но оберон сам по себе, да еще и без автокомплита, очень этому способствует.