5、深入理解非严格性在函数式编程中的应用

深入理解非严格性在函数式编程中的应用

1 非严格性概述

在函数式编程的世界中，非严格性（Non-strictness）是一个至关重要的概念。它不仅帮助我们实现高效的函数式程序，还能显著提高代码的模块化和重用性。非严格性允许我们将表达式的描述与其评估过程分离，使得我们可以根据需要选择性地评估表达式，从而优化程序性能并减少不必要的计算。

1.1 严格性与非严格性

在大多数编程语言中，默认情况下函数是严格的（Strict），即它们总是会评估其参数。例如，考虑以下函数：

def square(x: Double): Double = x * x

当你调用 square(41.0 + 1.0) 时， square 函数会接收到 42.0 的求值结果，因为它是严格的。如果调用 square(sys.error("failure")) ，在 square 有机会做任何事情之前，你会得到一个异常，因为 sys.error("failure") 表达式会在进入 square 的主体之前被评估。

相反，非严格函数可以选择不评估其一个或多个参数。例如，短路布尔函数 && 和 || 是非严格的。 && 接受两个 Boolea