Тип - аргумент
Cтраница 2
Следует также внимательно следить за типом аргументов; если функция производит операции над числами, то ей нельзя передать строку, и наоборот. Иначе говоря, если функция ( или команда Автокала) должна принять в качестве аргумента строку, все символы, введенные в ответ на запрос, считаются элементами строки a priori. Указанную трудность помогает преодолеть системная переменная Автоката TEXTEVAL. Установка этой переменной в единицу ( оценка текста включена) приводит к тому, что Автокал передает выражение в Автолисп и печатает возвращаемый результат, а не само выражение. Другими словами, если оценка текста включена, то в ответ на запрос Автоката можно вводить не только сам ответ, но и выражение на Автолиспе для его вычисления, используя круглые скобки или восклицательный знак. [16]
Список типов аргументов определяет число и типы аргументов функции. [17]
Разновидность типа результата совпадает с разновидностью типа аргумента. [18]
Разновидность типа результата совпадает с разновидностью типов аргументов. [19]
Дело в том, что компилятор определяет тип переданного аргумента, на основании которого выбирает соответствующий вариант функции DoubleO. А результаты работы этой программы подтверждают ожидаемую очередность вызова вариантов этой перегруженной функции. [20]
Еще одна специальная конструкция допускается в списке типов аргументов. Это фраза void, которая специфицирует аргумент типа указатель. Эта фраза может быть использована в списке типов аргументов вместо имени типа. [21]
Хотя люди при аргументации могут использовать много типов аргументов или подтверждений, TMS требует приведения их всех к стандартной форме. Эти две формы инспирированы типичными формами аргументов в системах вывода с натуральной дедукцией, в которых поддержка строки доказательства изменяется путем добавления или изъятия зависимостей. [22]
Разновидность типа результата функции совпадает с разновидностью типа аргумента. [23]
Другой важной особенностью прототипов функций является приведение типов аргументов, т.е. задание аргументам подходящего типа. [24]
Можно надеяться, что при изучении того, какие типы аргументов люди находят легкими или трудными для понимания, будут найдены ключевые соображения для организации потенциальных аргументов для допущений TMS. Стетмен [55] указывает, что люди с трудом следуют аргументации, в которой имеется много обратных ссылок на отдаленные утверждения. Он пытается формализовать некоторые понятия, связанные со сложностью доказательств, используя меры, основанные на топологии графа доказательства. Вейнер [62] каталогизирует и анализирует человеческие объяснения и находит, что большинство из них имеет очень простую структуру. [25]
 |
Встроенные элементные математические функции Фортрана Функция Тип Тип Описание. [26] |
Имя SQRT является родовым, тип результата зависит от типа аргумента. Если тип аргумента вещественный, его значение не должно быть отрицательным. Тип результата совпадает с типом аргумента. [27]
Имя ABS является родовым, тип результата зависит от типа аргумента. [28]
После имени функции и аргументов обращения в квадратных скобках [ ] указываются тип аргумента и тип результата соответственно. [29]
Функции являются выражениями того типа, который обусловлен их названием; тип аргументов указывается в определении функции. Например, если OMEGF ( А, В) является действительной функцией, то OMEGF ( С, D) представляет собой действительное выражение; при этом тип величин С и D должен совпадать с типом величин соответственно А и В. [30]
Страницы: 1 2 3 4