> -- Валерий Лаптев писал(а):
> О способности языков+компиляторов защищать от тривиальных ошибок - читал уже давно. Поднимался вопрос, да.Но терминов придумано не было.
А строгий? Rigorous? Вирт использует это слово по отношению к своим языкам, в частности в его гугл-лекции неоднократно.