Без заголовка
Без вывода и объяснительной трассировки совсем плохо.
Собственно, компактность описания возникает, когда мы явные связи обобщаем и заменяем выводом. Т.е. обобщение позволяет редуцировать модель, но чтобы ее реально на практике использовать, нужен вывод и объяснительная трассировка - а то будет непонятно что хотел сказать тот человек который обобщал/упрощал модель - скорее всего это другой человек, нежели пользователь. Да и ему самому будет непонятно - помните Донской писал, что первым делом для Каиссы они сделали распечатку трассировок событий, и ее изучение было весьма важным делом.
> И заниматься этим через некоторое время будут столько же людей, сколько сегодня пишут на Яве.
Хорошо бы, но боюсь, что нонешняя система образования столько не подготовит. Хотя, на самом деле, я с западной системой плохо знаком. Может и подготовит.