在Haskell中评估函数->（）有什么规则？
就像标题中所说的那样：对Haskell函数返回单元进行评估有什么保证？有人会认为在这种情况下无需运行任何类型的评估，()除非存在明确的严格性要求，否则编译器可以将所有此类调用替换为立即值，在这种情况下，代码可能必须决定是否应返回()或底部。 我已经在GHCi中对此进行了实验，似乎发生了相反的情况，也就是说，似乎正在评估这种功能。一个非常原始的例子是 f :: a -> () f _ = undefined f 1由于存在，评估会引发错误undefined，因此肯定会发生某些评估。但是，尚不清楚评估的深度。有时它看起来像需要评估返回函数的所有调用一样深入()。例： g :: [a] -> () g [] = () g (_:xs) = g xs 如果使用，此代码将无限循环g (let x = 1:x in x)。但是之后 f :: a -> () f _ = undefined h :: a -> () h _ …