为什么不能在PURE程序中使用INQUIRY语句

Question

我发现INQUIRE程序中不允许PURE个语句。这是为什么？ INQUIRE语句不是没有任何副作用，因此本身是PURE吗？

Answer 1

我不会假装对语言标准委员会或其成员的运作有任何见解，所以这是我对情况的解读：

查询声明可能没有副作用，因为它们不会导致任何状态变化，但执行两次相同的查询声明并不保证给出相同的答案。或许，另一个进程可能会在查询之间删除文件。它（或许）是一种更微妙的杂质，但仍然是一种杂质。