Контроль - тип
Cтраница 1
Контроль типов в языке Атлант основан на понятии типового значения. Типовое значение создается либо непосредственно конструктивом типа без параметра, либо конкретизацией родового типа, либо посредством исполнения операций над типами. [1]
Контроль типов существенно усилен в языке Паскаль, и это абсолютно правильно. Усиление контроля типов приводит к некоторому увеличению времени, затрачиваемого на появление первой версии синтаксически корректной программы, но это стоит того. Действительно, в языке Паскаль отсутствует механизм установления эквивалентности типов [167], но эта проблема может быть решена путем правильного использования описания типов. Все допустимые преобразования типов осуществляются лишь явно с помощью специальных функций преобразования типов или с помощью механизма записей с вариантами ( последнее более опасно, см. разд. [2]
Контроль типов не принадлежит к числу тех средств, которые быть добавлены в язык программирования в последний момент в пр его разработки. Наоборот, контроль типов должен включаться в язы граммирования еще на этапе его разработки. [3]
Контроль типа данных позволяет удостовериться в том, что цифровые данные содержат только цифры ( и, возможно, еще и знак), а буквенные - только буквы и пробелы. [4]
Отсутствует контроль типов параметров функций. [5]
Вопросы контроля типов важны для любого типизированного языка программирования. Однако не только в разных языках, но часто и в одном языке для разных типовых конструкций они решаются по-разному, а основным критерием, положенным в основу контроля типов, является, как правило, вкус или личное мнение автора языка программирования. [6]
Необходимость контроля типов особенно остро ощущается на эта работки программ. Можно даже говорить о том, что выявление ошиб ( го рода является первичной задачей транслятора с некоторого язык граммирования, а генерация кода - вторичной. [7]
Механизм контроля типов играет огромную роль в автоматическом диагностировании ошибок. Чем сильнее типизирован некоторый язык программирования, тем более строгая дисциплина использования типов навязывается программисту этим языком программирования. [8]
Устройство контроля типа УК-1 является источником тока контроля, который циркулирует по соединительным проводам. [9]
Перед контролем типа данных логично проверить их расположение, произвести необходимую корректировку, а если данные представлены в цифровой форме, заменить в случае необходимости предшествующие им пробелы нулями. [10]
Создается объект контроль типа для объекта расширенного типа, со - - держащий AD объекта определение типа, также создаваемого в про - - цедуре. [11]
Очевидно, чтобы контроль типов в языке программирования с системой стандартных и произвольных типов данных был прост и понятен, необходим узкий набор правил соответствия типов, увязанный с общей типовой структурой языка. Рассмотрение типов как значений универсального типа тип позволяет последовательно подойти к проблеме контроля типов и предложить общий механизм ее решения. [12]
Без последней процедуры контроль типа данных, производимый над цифровыми данными, перед которыми не стоят незначащие нули, дает отрицательный результат. [13]
Донахью пишут: цель контроля типов зависит от того, что понимается под типом данных. Тем самым контроль типов может рассматриваться, по существу, как дополнительный способ выяснения в период компиляции, что программа при своем исполнении вырабатывает неверный результат [ 139, с. Как уже отмечалось в разд. Вследствие этого аппликация функции к аргументам непредусмотренных типов не обязательно приведет к ошибке, а просто выработает подложный результат, неверно интерпретируя свои аргументы. [14]
 |
Законы распределения характеристик контроля. [15] |
Страницы: 1 2 3 4