如果将函数作为参数，函数是否立即不纯？

由于输入参数的纯度直到运行时才是未知的，如果将函数作为输入参数，该函数是否立即被认为是不纯的？

相关：如果一个函数应用了一个在函数外部定义的纯函数，但没有作为参数传递，那么它是否满足纯函数的要求，即输出是否仅取决于输入，它是否仍然是纯函数？

对于上下文，我正在用JavaScript编写功能代码。

只要在函数中使用的所有值都仅由其参数定义，它就是一个纯函数。

每次输入相同输入时输出都相同的方面受参数是否为纯参数控制。如果假设参数（如函数参数）也是纯的，那么它就是纯的。

在Javascript之类的不要求纯净的语言中，这意味着可以通过调用作为参数传递的不纯函数使原本纯净的函数具有不纯行为。

这实际上意味着，对于不要求纯净的语言（即几乎全部），不可能定义一个纯函数来调用作为参数传递的函数。尽可能将它们写为纯函数并将其推论为纯函数仍然很有用，但是您必须谨慎行事，因为如果传递了错误的参数，就将破坏纯函数的假设。

根据我的实践经验，这通常没什么大不了的-我发现很少将不纯函数用作纯函数的函数参数。

由于输入参数的纯度直到运行时才是未知的，如果将函数作为输入参数，该函数是否立即被认为是不纯的？

否。反例：

function pure(other_function) {
    return 1;
}

没关系 other_function函数是纯函数，不纯函数还是。该pure函数是纯函数。

其他反例：

function identity(x) {
    return x;
}

即使x是不纯函数，该函数也是纯函数。，无论您重复通话多少次，identity(impure_function)都将始终返回impure_function。是否identity(impure_function)()总是返回相同的东西并不重要。函数的返回值不影响其纯度。

通常，如果一个函数可能调用一个函数作为参数传递，则它不是纯函数。例如一个功能function call(f) {f();}不是纯，因为即使它没有提及任何全局或可变状态，f也可能会alert引起可见的副作用。

如果一个函数将函数作为参数，但是它没有调用它们或导致它们被调用，那么它可以是纯函数。如果它做其他不纯净的事情可能仍然不纯净。例如，function f(ignored_function) {alert('This isn't pure.');}即使它从不调用，它也是不纯的ignored_function。

由于输入参数的纯度直到运行时才是未知的，如果将函数作为输入参数，该函数是否立即被认为是不纯的？

从技术上讲，是的，除非您的语言中有某种方式可以确保输入函数也是纯函数。

如果函数应用了在函数外部定义的纯函数，但未作为参数传递，那么它是否满足无副作用标准且输出仅取决于输入，是否仍是纯函数？

是。因此，让我们专注于这里重要的事情。调用纯函数或不调用函数本身并没有用。纯函数很有用，因为对于任何输入产生相同的输出，而不依赖于状态或没有副作用是一组非常有用的属性。这意味着一旦运行了函数，您就可以“记住”该输入的答案，并且它将始终为真。您也不需要再次运行该函数即可产生副作用。和可以运行与其他功能该功能并行（或故障），知道他们不会有任何隐藏的互动，表现不好。

如果该函数使用其他纯只读函数来执行其工作，则无论这些函数如何引用它们，这些有用的属性仍将保留。

正如Telastyn所说：从技术上讲，是的，除非您的语言中有某种方法可以保证输入函数也是纯函数。

那不是假设，确实有很好的方法可以保证这一点。至少使用强类型语言。

您可以在JavaScript中编写的如此纯函数

function foo(f) {
   return f(1) + 2;
}

可以直接翻译为Haskell：

foo :: (Int -> Int) -> Int
foo f = f 1 + 2

现在，在JavaScript中，您可以做诸如

js> foo (function(x) {console.log("muharhar"); return 0})
muharhar
2

在Haskell中这是不可能的。原因是，类似副作用的东西console.log()必须始终具有结果类型IO something，而不仅仅是一个结果类型something。

GHCi> foo (\x -> print "muarhar" >> return 0)

<interactive>:7:12:
    Couldn't match expected type ‘Int’ with actual type ‘IO b0’
    In the expression: print "muarhar" >> return 0
    In the first argument of ‘foo’, namely
      ‘(\ x -> print "muarhar" >> return 0)’
    In the expression: foo (\ x -> print "muarhar" >> return 0)

为了对此表达式进行foo类型检查，我们需要提供类型签名

foo :: (Int -> IO Int) -> Int

但是事实证明我不能再实现它了：因为参数函数包含IO在结果中，所以我不能在中使用它foo。

<interactive>:8:44:
    Couldn't match expected type ‘Int’ with actual type ‘IO Int’
    In the first argument of ‘(+)’, namely ‘f 1’
    In the expression: f 1 + 2

我可以在其中使用IO操作的唯一方法foo是，如果的结果本身foo具有类型IO Int：

foo :: (Int -> IO Int) -> IO Int
foo f = do
   f1 <- f 1
   return (f1 + 2)

但是从签名的角度来看foo，这显然不是一个纯函数。

不它不是。

如果传递的函数不纯并且您的函数调用传递的函数，则您的函数将被视为不纯。

纯/不纯关系有点像JS中的同步/异步。您可以从不纯净的地方自由地使用纯代码，但反之则不能。