我正在编写一个玩具编译器，如果结果仅取决于参数的值，它可以优化函数调用。所以像 xor 和 concatenate 这样的函数只依赖于它们的输入，用相同的输入调用它们总是给出相同的输出。但是像 time 和 rand 这样的函数依赖于“隐藏”的程序状态，使用相同的输入调用它们可能会产生不同的输出。我只是想弄清楚区分这两种功能的形容词是什么，例如“同构”或“可重入”之类的。谁能告诉我我要找的词吗？
【问题讨论】：
标签： terminology compiler-theory computation-theory
【讨论】：
我想它叫Pure Function：
在计算机编程中，如果关于函数的以下两个陈述都成立，则可以将函数描述为纯函数：
- 在给定相同参数值的情况下，该函数始终评估相同的结果值。函数结果值不能依赖于任何隐藏信息或状态，这些信息或状态可能会随着程序执行的进行或在程序的不同执行之间发生变化，也不能依赖于来自 I/O 设备的任何外部输入。
- 结果评估不会导致任何语义上可观察的副作用或输出，例如可变对象的突变或输出到 I/O 设备。
结果值不必依赖于所有（或任何）参数值。但是，它必须依赖于参数值。
【讨论】：
如果你用“纯函数”的话，我猜你可以说形容词是“纯的”。
我总是了解到，当参数始终相同时输出始终相同的函数称为“确定性”。就个人而言，我觉得这是一个更具描述性的术语。我猜“纯函数”根据定义是确定性的，而且似乎纯函数也需要没有任何副作用。我假设并非所有确定性函数都是这种情况（只要相同参数的返回值始终相同）。
维基百科链接：http://en.wikipedia.org/wiki/Deterministic_algorithm
引用：
给定一个特定的输入，它总是会产生相同的输出，而底层机器总是会经历相同的状态序列。
【讨论】：