Строгая функция - Strict function

В Информатика и компьютерное программирование, а функция f считается строгий если, применительно к выражению без завершения, оно также не завершается.^[1] А строгая функция в денотационная семантика из языки программирования это функция ж куда ${\displaystyle f\left(\perp \right)=\perp }$. Организация ${\displaystyle \perp }$, называется Нижний, обозначает выражение, которое не возвращает нормальное значение либо потому, что оно повторяется бесконечно, либо потому, что оно прерывается из-за ошибки, такой как деление на ноль. Функция, которая не является строгой, называется нестрогий. А строгий язык программирования это тот, в котором пользовательские функции всегда строгие.

Интуитивно нестрогие функции соответствуют управляющие структуры. С функциональной точки зрения строгая функция - это функция, которая всегда оценивает это аргумент; нестрогая функция - это функция, которая может не оценивать некоторые из своих аргументов. Функции, имеющие более одного параметра, могут быть строгими или нестрогими по каждому параметру независимо, а также совместно строгий по нескольким параметрам одновременно.

Например, если-то-еще выражение многих языков программирования, называемое ?: в языках, вдохновленных C, его можно рассматривать как функцию трех параметров. Эта функция является строгой в отношении своего первого параметра, так как функция должна знать, оценивается ли ее первый аргумент как истинное или ложное, прежде чем она сможет вернуться; но второй параметр не является строгим, потому что (например) если (ложь,${\displaystyle \perp }$,1) = 1, а также нестрогие в третьем параметре, потому что (например) если (правда, 2,${\displaystyle \perp }$) = 2. Тем не менее, он является строгим по второму и третьему параметрам, поскольку если правда,${\displaystyle \perp }$,${\displaystyle \perp }$) = ${\displaystyle \perp }$ и если (ложь,${\displaystyle \perp }$,${\displaystyle \perp }$) = ${\displaystyle \perp }$.

В нестрогий функциональное программирование язык, анализ строгости относится к любому алгоритму, используемому для доказательства строгости функции в отношении одного или нескольких ее аргументов. Такие функции могут быть составлен к более эффективному соглашение о вызовах, Такие как вызов по значению, не меняя смысла прилагаемой программы.

Смотрите также

• Нетерпеливые оценки
• Ленивая оценка
• Оценка короткого замыкания

Рекомендации

1. «Нежное введение в Haskell: функции». www.haskell.org. Получено 2016-06-23.