Cтраница 3
Используя такого рода определения, можно произвести большинство проверок типов во время компиляции, и включать в компилируемый текст проверки во время исполнения, если это все еще необходимо. [31]
Язык KRC не требует описания типа и производит все проверки типов во время исполнения. [32]
Не было бы серьезной проблемы, если бы наша проверка типов заканчивалась неудачей только в случае бесконечных типов, но, к сожалению, проверка вхождения накладывает более серьезные ограничения. [33]
В каждом прямоугольнике представлен уровень типов аргументов соответствующего предиката проверки типа. Этот предикат успешно согласуется для каждого входящего в прямоугольник типа его аргумента. [34]
Главный недостаток использования пакета Untyped Ports - это невозможность проверки типа сообщений во время компиляции, а основной недостаток использования пакета Typed Ports - то, что программист должен создавать индивидуальный экземпляр родового пакета для каждого требуемого типа сообщений. Для очень объемных приложений возможно создание большого числа экземпляров, что может в свою очередь вести к программам, требующим излишнего пространства памяти. [35]
Платой за динамические типы явля-ц Л ются действия по проверке типа на этапе исполнения. [36]
Кроме того, в Коммон Лиспе существует множество функций для проверки типа и параметров массивов, для их преобразования, например для увеличения общего размера. [37]
В этой системе применяется статическая ( во время компиляции) проверка типа, но требуются некоторые незначительные ограничения и модификации в языке. Укажите, как необходимо модифицировать язык, чтобы можно было применить эту систему. [38]
Логические функции Суперкалька относятся к одному из трех типов: функции проверки типа клетки; функции назначения типа клетки; функции проверки условия. [39]
Если ни одно из отождествлений не закончилось неудачей, мы завершаем проверку типов, считая объявленный тип т правильным. [40]
Проверка типов позволяет выявить много программных ошибок на этапе компиляции и избежать проверки типов на этапе выполнения, что повышает эффективность программ. [41]
Данные о времени использования центрального процессора говорят о том, что процесс проверки типов символов программами ISALPHANUM и ISLETTER чрезвычайно расточителен: 36 %, что обусловливает необходимость иной реализации. Механизм выталкивания оплачивается скромной ценой за каждый символ, которая стоит ясности, вносимой им в программу. Принятое здесь решение написать процедуру PBSTR на основе программы PUTBACK также оправдано. [42]
Попутно заметим, что погрешность в представлении чисел с плавающей точкой делает бессмысленной проверки типа X Y, где обе переменные описаны с атрибутом FLOAT. Такое сравнение может стать истинным только случайно, так как и X, и Y имеют приближенные значения. Чтобы установить совпадение двух величин с плавающей точкой, необходимо проверять отношение вида ( X-Y e, где Е - заранее выбранная точность, с которой должны производиться вычисления. [43]
![]() |
Перемещение данных при использовании программ обмена. [44] |
В процессе ввода программы выполняют различные контрольные действия, и в частности проверку типа блока. В результате чтения конечного блока ( КБ) обеспечивается переход по адресу, заданному рабочей ( внешней) программой. [45]