Haskell:不在范围内:foldl'？

Question

作为我的第一个模块体验，我将 Data.List 导入到我的 GHCi。 (更准确地说，我在 GHCi 上输入了 import Data.List)它似乎工作正常，因为我可以使用一些以前没有的功能，例如 foldl'在我的 GHCi 上。

我写了haha = foldl' (+) 0 [1..10]在我的 Notepad++ 上，保存并加载，然后 GHCi 说 Not in scope: foldl'即使当我输入 foldl' (+) 0 [1..10] 时它工作得很好直接在我的 GHCi 上。

为什么会这样？如何使用 foldl' 定义函数？在我的记事本上？

Answer 1

GHCi 提示符的范围内的内容不一定与您可能从 GHCi 加载的任何文件的范围内的内容相同。 GHCi 有自己的当前范围概念，它通常包括您已加载的任何文件的顶层以及您显式添加的任何其他模块或您导入的任何内容。 (如果加载自上次编译以来未更改的文件，它的行为也会有所不同，这仍然让我感到困惑......)

反正你只需要导入Data.List在代码文件本身中，例如:

module Main where

import Data.List

haha = foldl' (+) 0 [1..10]

之后，加载文件应该会导致 Data.List也可以在 GHCi 提示符处有效导入，因为它在加载模块的顶层可见。