haskell - 确认惰性评估

Question

我不小心删除了我的帖子，但为了澄清，我重新发布了这个问题。

如果我有一个功能：
const x = 1

如果我问 Haskell：
const (1/0)

它会返回1，因为惰性评估实际上并没有计算出什么1/0，对吧？它不需要。

Answer 1

是的，这是正确的。const，正如您定义的那样，在评估它时总是会产生 1 - 无论参数是什么。并且由于参数与结果无关，因此不对其进行评估。因此，不会发生可能由评估参数引起的任何错误或未终止。