为什么Haskell中的懒惰评价“不懒”？

Question

当我尝试下面的代码在cghi：

take 1 $ take 1 $ repeat [1..] 

我期待的1代替[[1,2,3,4,5,6,7,8,9,10,...打印结果我的终端上。

为什么懒惰评估不能正常工作，因为我希望在这种情况下？

Answer 1

take是Int -> [a] -> [a]类型，即它返回一个列表。看来你正在寻找head，它返回一个元素。

head $ head $ repeat [1..] 

Answer 2

take 1 $ repeat [1..]回报[[1..]]。然后take 1 [[1..]]返回[[1..]]，一个无操作。