> -- Валерий Лаптев писал(а):
> С другой стороны, во всех промышленных языках такой аппарат есть. Знакомить с ним надо. В общем - тут у меня большие сомнения.

Как-то странно получается. С одной стороны, имеем механизм с явными недостатками, который из-за этих недостатков должен применяться только в редких случаях (а, например, компания Google вообще своим программистам запрещает его применять). С другой стороны, собираемся учить этому убожеству студентов. Чтобы они лучше знали то, что не нужно применять?Типа, "врага надо знать в лицо"?

Есть другой вариант, который мне нравится гораздо больше: разработать принципиально новый механизм явного контроля ошибок, основываясь на (чужом) опыте правильного применения исключений, ASSERT'ов, кодов ошибок и на тех новых возможностях, которые дает структурный/семантический редактор. Я попытаюсь набросать первый драфт концепции и выложу тут для обсуждения и улучшения. Хотя такого нового механизма нет в других языках программирования, но его можно худо-бедно "эмулировать" имеющимися средствами - у студентов появится понимание, к чему надо стремиться, выработается правильный стиль.