Cтраница 1
Константная функция указывается как const и в объявлении, и в описании с помощью ключевого слова const после списка параметров функции, но перед левой фигурной скобкой, которая начинает тело функции. [1]
Константные функции являются моделью операторов очистки регистров. [2]
Применение константной функции, однако, может быть преобразовано при наличии достаточного количества аргументов с использованием встроенных правил, которые часто называют б-правилами. Применение любой функции записывается в виде выражения для этой функции, за которым следуют выражения для ее аргументов. [3]
С является множеством константных функций. [4]
Третье правило утверждает, что любая частично примененная константная функция также является СЗНФ. [5]
Заметим, что подчеркивание необходимо, чтобы отличать константную функцию k от функции-селектора k для последовательности. [6]
Этот прототип объявляет, что функция draw является константной функцией, которая не принимает никаких аргументов, ничего не возвращает и является виртуальной функцией. [7]
Тем самым полугруппа Г вкладывается в Г как подполугруппа константных функций. [8]
Так как множество линейных функций можно определить как замыкание сложения, функций выбора и константных функций относительно композиции и явных преобразований, то мы знаем теперь, что каждая линейная функция лежит в F. Хотя не каждая функция из F является линейной, любая функция из F ограничена некоторой линейной функцией в смысле, указанном следующей теоремой. [9]
Языку FP требуются только три примитивных функционала: композиция, конструкция и условное выражение вместе с представлением для константных функций, чтобы выразить рекурсивные функции первого порядка. [10]
В класс SimpleCat были добавлены две функции доступа к данным: метод GetAgeO ( строка 13), который является константной функцией, и метод SetAge () ( строка 14), который не является константным. [11]
Как выбрать п Заметим сначала, что f i gq ( n) означает, что существует машина, которая вычисляет константную функцию ygq ( n) ( х) фд ( п) ( х) п и объем которой меньше некоторого фиксированного целого числа f i. [12]
В следующем разделе мы приведем оптимизации из [61] для самой левой из самых внешних редукции выражений ККЛ, которые восстанавливают прямое правило для константных функций, обеспечивают более прямой доступ к - контексту, комбинируют определенные правила в новое правило и исключают правила, которые становятся избыточными. Это приводит к новой компилирующей функции и набору правил переписывания, которые приведены в разд. [13]
Говорят, что отношение редукции является слабой редукцией Черча - Россера, если оно обладает слабым ромбическим свойством. Однако ни одна из константных функций, используемых нами, не нарушает ромбическое свойство. [14]