严格函数

在计算机科学和计算机编程中，如果一个函数f应用于一个非终止表达式时，它也不能终止，则称其为严格函数。在编程语言的指称语义学中，一个严格的函数是一个函数f，其中称为底层，表示一个不返回正常值的表达式，要么是因为它无休止地循环，要么是因为它由于错误（如除以0）而中止。

一个不严格的函数被称为非严格的。一种严格的编程语言是指用户定义的函数总是严格的。直观地说，非严格的函数对应于控制结构。

在操作上，一个严格的函数是一个总是评估其参数的函数；一个非严格的函数是一个可能不评估其某些参数的函数。

有一个以上参数的函数可以对每个参数独立地进行严格或非严格处理，也可以同时对几个参数共同进行严格处理。

例如，许多编程语言中的if-then-else表达式，在受C语言启发的语言中称为?这个函数在它的第 一个参数中是严格的，因为这个函数在返回之前必须知道它的第 一个参数的值是真还是假；

但是它在第二个参数中是不严格的，因为（例如）if（false,在非严格的函数式编程语言中，严格性分析是指用于证明一个函数对其一个或多个参数的严格性的任何算法。这样的函数可以被编译成更有效的调用约定，如按值调用，而不改变包围程序的意义。