functional-programming - 带有函数类型的非纯参数的函数可以是纯函数吗？

Question

如果采用非纯函数作为参数的函数不直接更改/存储状态、不引用全局变量等，是否可以将其视为纯函数？我们在哪里以及如何划清什么是纯的、什么不是，是仅仅取决于函数的相关代码还是我们考虑了调用参数的影响？

例如想象一下这个场景，其中纯函数代表无状态工作流程，并采用在此工作流程期间要执行的一些操作作为参数。其中一个操作会改变某处的某些状态。因此，如果我严格查看工作流程的实现，它看起来很纯粹，但最终它确实通过调用这个修改状态的参数函数来修改状态。我很想推测工作流程也是非纯粹的，但是传递一个不改变状态的不同参数将使其变得纯粹，所以我很困惑。

任何帮助将不胜感激。谢谢。

Answer 1

(define (its-not-me launch-rockets)
   (lambda () 
      (launch-rockets)))

确实很纯粹。它不会发射火箭，它只是构建一个will，if调用的计算。但仅仅构建这样的计算不会产生任何副作用。

(define (it-is-me launch-rockets)
   (launch-rockets)
   ((its-not-me launch-rockets)))

确实发射了火箭，两次。无论是直接还是间接，都没有关系。如果它在执行过程中引起副作用，那么它就会在执行过程中引起副作用。

如果我们有

(define (launch-rockets)
   (if (prime? (random-integer))
      (do-actually-launch-rockets)
      (list 'do-nothing)))

没有任何改变。第一个仍然是纯粹的，构建一个可能导致副作用的计算是不纯粹的。

均匀

(define (launch-rockets)
   (if (prime? (random-integer))
     (list 'i-am-only)
     (list 'kidding)))

不是纯函数，因为它使用非纯效果，即随机性。纯函数对于相同的参数总是返回相同的结果。