엄격한 기능

이 글은 검증을 위해 인용구가 추가로 필요하다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선할 수 있도록 도와주십시오. 공급되지 않은 재료는 도전하여 제거할 수 있다. 출처 찾기: "엄격한 기능" – 뉴스 · 신문 · 책 · 학자 · JSTOR (2016년 7월) (이 템플릿 메시지를 제거하는 방법과 시기 학습)

컴퓨터 과학과 컴퓨터 프로그래밍에서 기능 f는 비단수적 표현에 적용되었을 때 그것이 또한 종료되지 않으면 엄격하다고 한다.^[1]프로그래밍 언어의 변칙적 의미론에서 엄격한 $함수$는 f${\displaystyle (}$ ${\displaystyle \perp }$) =${\displaystyle }$f(\) =wheref, $\displaystyle f\left(\perp \right)=\perp$ $\}\}\}.$ 엔터티 $\perp {\displaystyle }$ ${\displaystyle \perp$ bottom이라 불리는 것은 끝도 없이 반복되거나 오류로 인해 중단되기 때문에 정상값을 반환하지 않는 식을 나타낸다.0으로 나누거나.엄격하지 않은 함수를 비강요함수라고 한다.엄격한 프로그래밍 언어는 사용자 정의 기능이 항상 엄격한 언어다.

직관적으로 강하지 않은 함수는 제어 구조에 해당한다.운용상, 엄격한 함수는 항상 그 주장을 평가하는 것이다; 엄격하지 않은 함수는 그것의 일부 주장을 평가하지 않을 수도 있는 함수를 말한다.둘 이상의 매개변수를 가진 함수는 각 매개변수에서 독립적으로 엄격하거나 엄격하지 않을 수 있으며 동시에 여러 매개변수에서 공동으로 엄격할 수 있다.

예를 들어,if-then-else많은 프로그래밍 언어의 표현, 라고 불린다.?:C에서 영감을 받은 언어에서는 세 가지 매개변수의 함수로 생각할 수 있다.이 함수는 첫 번째 인수가 참인지 거짓인지를 알아야 복귀할 수 있기 때문에 첫 번째 매개 변수에서는 엄격하지만, 두 번째 매개 변수에서는 엄격하지 않다(예를 들어)if(false,${\displaystyle \perp }$,1) = 1, 세 번째 매개 변수에서 (예를 들어)가 아닌 이유if(true,2,${\displaystyle \perp }$) = 2. 단, 제2, 제3의 파라미터에서는 공동으로 엄격하다.if(true,${\displaystyle \perp }$,${\displaystyle \perp }$) = ${\displaystyle \perp }$그리고if(false,${\displaystyle \perp }$,${\displaystyle \perp }$) = ${\displaystyle \perp }$.

엄격하지 않은 기능 프로그래밍 언어에서, 엄격성 분석은 하나 이상의 주장에 대해 함수의 엄격성을 증명하기 위해 사용되는 알고리즘을 의미한다.그러한 기능은 엔클로저 프로그램의 의미를 변경하지 않고 가치별 통화와 같은 보다 효율적인 통화 규약으로 컴파일할 수 있다.

참고 항목

• 열성평가
• 게으른 평가
• 단락평가

참조