functional-programming - 理解引用透明度

Question

一般来说，我会头疼，因为我的推理有问题:

对于 1 组参数，引用透明函数将始终返回 1 组输出值。

这意味着此类函数可以表示为真值表(为一组参数指定一组输出参数的表)。

这使得这些函数背后的逻辑是组合的(而不是顺序的)

这意味着使用纯函数式语言(只有 rt 函数)可以只描述组合逻辑。

最后一个说法是从这个推理得出的，但它显然是错误的；这意味着推理有错误。 [问题:这个推理的错误在哪里？]

UPD2。你们，伙计们，说了很多有趣的东西，但没有回答我的问题。我现在更明确地定义了它。抱歉弄乱了问题定义!

Answer 1

Question: where is error in this reasoning?

引用透明函数可能需要 无限真值表来代表它的行为。您将很难在组合逻辑中设计无限电路。

另一个错误:时序逻辑的行为可以纯函数地表示为从状态到状态的函数。在实现中，这些状态按时间顺序发生这一事实并不妨碍人们定义一个纯粹的引用透明函数，该函数描述了状态如何随时间演变。