Haskell: Không nằm trong phạm vi: foldl '?

Question

Là trải nghiệm đầu tiên của mô-đun, tôi đã nhập Data.List vào GHCi của mình. (Chính xác hơn, tôi đã gõ import Data.List trên GHCi của tôi) Dường như nó hoạt động tốt vì tôi có thể sử dụng một số chức năng mà trước đây tôi chưa có như foldl' trên GHCi của mình.

Tôi đã viết haha = foldl' (+) 0 [1..10] trên notepad ++ của mình, và lưu và tải sau đó GHCi nói Not in scope: foldl' mặc dù nó chỉ hoạt động tốt khi tôi nhập foldl' (+) 0 [1..10] trực tiếp trên GHCi của tôi.

Tại sao điều đó và cách tôi có thể xác định các chức năng với foldl' trên sổ ghi chú của mình?

Answer 1

Phạm vi trong lời nhắc GHCi không nhất thiết giống với phạm vi trong bất kỳ tệp nào bạn có thể tải từ GHCi. GHCi có khái niệm về phạm vi hiện tại của riêng mình, thường bao gồm sự suy yếu của bất kỳ tệp nào bạn đã tải cùng với bất kỳ mô-đun nào khác mà bạn thêm hoặc bất kỳ thứ gì bạn nhập một cách rõ ràng. (Nó cũng cư xử khác đi nếu tải một tập tin mà không bị thay đổi kể từ khi nó được biên soạn trước, mà vẫn còn bối rối cho tôi ...)

Dù sao, bạn chỉ cần nhập Data.List trong tập tin mã chính nó, ví dụ:

module Main where 

import Data.List 

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

Sau khi thực hiện việc đó, tải tệp sẽ dẫn đến nhập một cách hiệu quả tại dấu nhắc GHCi, vì nó có thể nhìn thấy ở mức cao của mô-đun được tải.