爲什麼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..]]，一個無操作。