haskell - main=return()是一个程序吗？

Question

关闭。这个问题是 opinion-based 。目前不接受答案。

---

想要改进这个问题吗？更新问题，以便 editing this post 可以用事实和引文来回答它。 .

已关闭 4 年前。

Improve this question

我无法符合 Wikipedia 的定义使用 Haskell 代码:

main = return ()

或

main = undefined

最重要的是，“计算机程序是指令的集合 1 ”，其中 instructions是这样定义的。

采用这两个定义，是 main = return ()一个计算机程序？定义引用了机器代码吗？

如果是...为什么？如果不是，那么 Haskell 中什么被视为程序？

Answer 1

程序的定义并不要求它具有显式 I/O。例如，考虑 /bin/sleep。除了在固定的时间内不执行任何操作之外，它实际上什么也不执行。最终，它确实具有输入/输出，因为它“导致”(在该术语的弱意义上)时间的变化。

另一个例子可能是一个 Python 程序，例如:

while True:
    pass

从字面上看，它所做的只是产生热量，但没有理由认为它不是一个程序。

未优化的程序构建实际上可能包含将立即值 5 加载到某个寄存器中的机器指令，然后终止程序。然而，像 Haskell 这样的优化编译器会推断出该值从未被使用过，并且很乐意将其完全剔除(而且这样做是非常自由的，因为它不会产生任何可观察到的效果。用于程序终止的机器指令仍然会但确实存在。