Haskell 文件读取

Question

我最近刚刚开始学习 Haskell，在尝试弄清楚文件读取的工作原理时遇到了很多麻烦。

例如，我有一个文本文件“test.txt”，其中包含带有数字的行：

32 4
2 30
300 5

我想读取每一行，然后评估每个单词并添加它们。

因此，我试图做这样的事情：

import System.IO
import Control.Monad

main = do
        let list = []
        handle <- openFile "test.txt" ReadMode
        contents <- hGetContents handle
        singlewords <- (words contents)
        list <- f singlewords
        print list
        hClose handle

f :: [String] -> [Int]
f = map read

我知道这是完全错误的，但我根本不知道如何正确使用语法。

任何帮助以及包含示例和代码解释的优秀教程的链接将不胜感激，除了这个 我已完整阅读。

Answer 1

不错的开始！唯一要记住的是纯函数应用程序应该使用 let 而不是绑定 <-。

import System.IO  
import Control.Monad

main = do  
        let list = []
        handle <- openFile "test.txt" ReadMode
        contents <- hGetContents handle
        let singlewords = words contents
            list = f singlewords
        print list
        hClose handle   

f :: [String] -> [Int]
f = map read

这是编译和运行所需的最小更改。从风格上来说，我有一些评论：

1. 绑定 list 两次看起来有点阴暗。请注意，这不会改变值 list ——而是隐藏旧的定义。
2. 内联纯函数更多！
3. 如果可能，使用 readFile 优于手动打开、读取和关闭文件。

实施这些更改会产生如下结果：

main = do  
        contents <- readFile "test.txt"
        print . map readInt . words $ contents
-- alternately, main = print . map readInt . words =<< readFile "test.txt"

readInt :: String -> Int
readInt = read

Answer 2

丹尼尔·瓦格纳的解决方案是一个很好的解决方案。这是另一个方面，以便您可以获得有关高效文件处理的更多想法。

{-#  LANGUAGE OverloadedStrings #-}
import System.IO
import qualified Data.ByteString.Lazy.Char8 as B
import Control.Applicative
import Data.List

sumNums :: B.ByteString -> Int
sumNums s = foldl' sumStrs 0 $ B.split ' ' s

sumStrs :: Int -> B.ByteString -> Int
sumStrs m i = m+int
              where Just(int,_) = B.readInt i

main = do 
  sums <- map sumNums <
gt; B.lines <
gt; B.readFile "testy"
  print sums

首先，您将看到 OverloadedStrings 编译指示。这允许用户仅对实际上是字节串的字符串文字使用普通引号。出于多种原因，我们将使用 Lazy ByteStrings 来处理文件。首先，它允许我们通过程序流式传输文件，而不是将其全部强制一次放入内存中。此外，字节串通常比字符串更快、更高效。

其他一切都非常简单。我们将文件读入一个惰性行列表中，然后在每行上映射一个求和函数。 <$> 只是允许我们对 IO() 函子内部的值进行操作的快捷方式——如果这太多了，我深表歉意。我只是说，当你 readFile 时，你不会返回一个 ByteString，而是返回一个 IO 和 IO(ByteString) 中包裹的 ByteString。 <$> 表示“嘿”我想对 IO 内部的内容进行操作，然后将其包装回去。B.split

根据空格将每一行分成数字。（我们也可以使用 B.words ）唯一有趣的部分是在 sumStrs 中，我们使用解构/模式匹配从 readInt 函数返回的 Just 中提取第一个值，

我希望这是这样 。询问有帮助。 如有任何问题。

Answer 3

对于所有非函数式程序员来说，这里有一种享受：

unsafePerformIO . readFile $ "file.txt"

将文件读入字符串

，没有 IO 字符串，只是一个正常的完全加载的字符串可供使用。
这可能不是正确的方法，但它有效，并且无需更改现有函数以适应 IO 字符串

。
不要忘记导入

import System.IO.Unsafe