布尔表达式和副作用

Question

我希望每个人都安全。

我正在学习 Haskell，发现 Haskell 中的函数没有副作用。我只是想知道在命令式语言中布尔表达式被认为是没有副作用的表达式，因为它们只返回 true 或 false（它们的主要效果）

谢谢！

Answer 1

在命令式语言中，表达式通常会产生副作用。例如在 Python 中：

def f(x):
    print(x)
    return True

if f(2) or f(4):
    print(3)

因此，它会打印到标准输出通道，这是一个副作用。它还可以进行文件 I/O、在数据库中插入记录、执行网络 I/O、在列表中插入元素、创建进程以及其他形式的副作用。

无论表达式的类型如何，它通常都会产生副作用。在 safe Haskell 中，通常不能执行任何 I/O，除非您使用 IO，所以它是 IO Bool，而不是 Bool。此外，所有变量都是不可变的，因此您不能将元素添加到列表中，您可以构建一个新列表，但是对于“旧”列表的读者没有任何影响。

如果您当然指定它们仅返回True 或False，因此没有任何副作用，那么布尔表达式没有副作用，因为not 、and、or 等通常也没有副作用。但问题是，在 Python（和其他命令式语言）中，不能根据返回类型判断函数是否有副作用。

函数没有副作用的想法使编译器可以进行很多优化。例如，在 Haskell 中，所有东西都是惰性求值的，这意味着除非你需要知道某物的价值，否则它不会被求值。这是可能的，因为没有副作用的评估函数的顺序并不重要。如果一个函数不能改变另一个函数可以访问的列表，那么它就不会影响该列表的结果。

此外，它还使并行运行变得更容易，因为没有副作用的函数不会影响另一个函数的结果，因此这两个函数可以由不同的内核评估。

但也许最有用的结果是它使程序非常模块化，并且不易出错。许多错误是由于函数对对象、数据库等进行更改而导致程序后面的函数没有预料到这些更改。例如，如果一个函数从数据库中删除了一条记录，那么下一个函数可能会在假设这条记录仍然存在的情况下工作。