Cтраница 3
Вп - условия, которые должны - выполняться одновременно. Хорновская формула является частным случаем этого обобщенного предложения, для нее характерно наличие только одного вывода. Большая часть формальных конструкций языков программирования ЭВМ скорее напоминает хорновские формулы, чем предложения более общего вида. [31]
Если же говорить о системе типов языка программирования в целом, включая в нее как типы, предоставляемые пользователю, так и те типы, которые фигурируют на уровне трансляции, то становится возможным указать родовые типы записей и объединений, которые конкретизируются при вычислении программы как данного. Более того, каждый, кто создавал транслятор языка программирования с типами записей, хорошо знает, что для обработки определений всех типов записей имеется одна процедура, воспринимающая в качестве параметров описания полей записи и конструирующая на их основе конкретный тип записи. Вычисление этой процедуры связано с объектами таких необычных типов, как описание имени, последовательность описания имен, которые выступают в качестве фактических параметров, конкретизирующих вырабатываемый результат. Осознание данного факта приводит к необходимости распространения понятия типа данных на все конструкции языка программирования. Это хорошо согласуется с представленной выше концепцией исполнения программы, базирующейся на принципах смешанных вычислений. Новый взгляд на систему типов позволяет, в частности, считать средства задания типов записей и объединений проекцией средств цельной системы типов на ее пользовательскую часть. [32]
Никакие стандарты в программировании не должны рассматриваться как абсолютные правила, которые ни в коем случае нельзя нарушить. Цель стандартов - установить основные правила для определенных аспектов деятельности, чтобы все предлагаемые отклонения от них можно было публично рассмотреть и определить, оправданы ли они. Было бы бесполезно пытаться привести здесь набор стандартов, поскольку большинство организаций разработало свои наборы, приемлемые в их конкретной обстановке. Однако, для того чтобы дать представление о том, какие аспекты программирования обычно в них отражаются, отметим, что в большинстве стандартов фиксируются руководящие принципы используемой методологии, форматы документации, возможности компилятора, соглашения по размещению текста программы на странице, правила употребления комментариев, а также конструкции языка программирования, которых следует избегать. [33]
Schar ( C) есть преобразование каждого элемента массива текстовых ячеек С ( они уже состоят из символов MATLAB a) в строки текстового массива S. При необходимости эти строки дополняются пробелами. MATLAB a - таким способом удобно объединять в одну текстовую переменную строки разной длины. Числовые массивы остаются без изменений. К этой команде приходится обращаться при интерпретации чисел в конструкциях языка программирования, где они записаны в символьном виде. В Ccellstr ( S) создается массив текстовых ячеек С из текстового массива S путем перевода строк S в отдельные ячейки массива С. Если С - массив текстовых ячеек, то deblank ( C) действует на каждую ячейку массива, которая рассматривается тогда как строка, eval ( s) выполняет выражение, заданное в виде текстовой строки s - см. разд. [34]
Система CORE задумана как универсальная система графического программирования, охватывающая как работу с графопостроителями, так и интерактивную графику. Эта система, авторами которой являются признанные авторитеты в данной области, несомненно, сыграет предназначаемую ей роль стандарта. Процессу генерации изображения в системе CORE посвящен один раздел в гл. Для этого было две причины: во-первых, мы считаем предлагаемую нами трехуровневую древовидную структуру более подходящей для интерактивной графики ( вопросы, связанные с использованием графопостроителей, несмотря на их важность, в книге не рассматриваются) и лучше согласующейся со структурами данных и язы-лшвьши конструкциями языков программирования высокого уровня; во-вторых, структура, принятая в CORE, является частным случаем нашей структуры. Следует, кроме того, отметить, что наша цель состояла не в том, чтобы предлагать какие-либо стандарты, а исследовать все многообразие возможных понятий и идей. [35]