为什么不是（20>）。长取10==const True

Question

事实上，20

或者，换句话说，（20

是（20）

这是对我上一个问题的跟进。

在那里，我询问了为什么修复错误打印***异常：重复且无限。

答案令人满意。

然而，我玩了一下ghci，意识到take 0$fix error预期返回”，而length$take 0$fix error返回0。

另一方面，下面打印***异常：无限流：

20 > (length $ take 10 $ fix error)

我知道，即使计算了fix error的一个元素（实际上是尝试的），结果也是如此，但我的问题是：为什么首先需要在特定表达式中对其中任何一个元素进行计算？毕竟，length$take 10$whatever只能是

实际上，我看到20

也许这就是威廉·范·奥塞姆在这条评论中的意思。

不管怎样，因为我可以把上面的表达式写成

((20 >) . length . take 10) $ fix error

我很想这么说

(20 >) . length . take 10 === const True

因此，我认为（（20）是合理的

但事实并非如此。为什么？




Answer 1

take 10必须确定其参数是[]还是（：）值。

const True没有。

长度是严格的，因为它必须遍历其整个参数。组合并不意味着它只需要遍历足够的值即可获得足够大的数字来伪造（20