我发现 PURE 过程中不允许使用 INQUIRE 语句。为什么会出现这种情况呢？ INQUIRE 语句不是没有任何副作用吗，因此它本身就是PURE 吗？
最佳答案
我并不假装对语言标准委员会或其成员的运作有任何了解，因此这是我对情况的解读:
查询语句可能没有副作用，因为它们不会导致任何状态更改，但执行两次相同的查询语句并不能保证给出相同的答案。另一个进程可能会在查询之间删除文件。它(也许)是一种更微妙的杂质，但仍然是一种杂质。
关于io - 为什么 INQUIRY 语句不能在 PURE 过程中使用，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/39664048/