“做”在 Haskell 中构建

Question

我正在尝试学习 Haskell，并想编写一个小程序，将文件的内容打印到屏幕上。当我将其加载到 GHCi 中时，出现以下错误：

“do”结构中的最后一个语句必须是表达式

我知道这个问题已经在这里被问过：Haskell —“'do' 构造中的最后一个语句必须是表达式”。

尽管我的代码非常相似，但我仍然无法找出问题所在。如果有人能向我指出问题，我将非常感激。

module Main (main) where

import System.IO
import System(getArgs)

main :: IO()
main = do
    args <- getArgs
    inh <- openFile $ ReadMode head args
    printFile inh
    hClose inh

printFile :: Handle -> IO ()
printFile handle = do
    end <- hIsEOF handle
        if end
            then return ()
            else do line <- hGetLine handle
                putStrLn line
                printFile handle

Answer 1

你的缩进被破坏了。这些更好：

printFile :: Handle -> IO ()
printFile handle = do
    end <- hIsEOF handle
    if end
        then return ()
        else do line <- hGetLine handle
                putStrLn line
                printFile handle

printFile :: Handle -> IO ()
printFile handle = do
    end <- hIsEOF handle
    if end
        then return ()
        else do
            line <- hGetLine handle
            putStrLn line
            printFile handle

通过使 if 比 end <- hIsEof handle 进一步缩进，它实际上是行延续，而不是 do 中的后续操作代码>.同样，putStrLn line 的缩进量比 line <- hGetLine handle 少，这一事实意味着 do （在 else 内））到此结束。

Answer 2

有几个问题。首先，if 缩进得太远 - end <- ... 被假定为 do 的最后一行。未缩进...

下一个问题出现。同样的错误消息，仅在第 18 行。这一次，第 19 行和第 20 行缩进得不够深（它们没有被解析为 do 的一部分）。缩进（无论如何看起来更好，因为现在一切都排列好了）...下一个错误消息。好消息是，这次不是缩进错误，而且修复也很简单。

test.hs:9:22:
    Couldn't match expected type `([a] -> a) -> [String] -> FilePath'
           against inferred type `IOMode'
    In the second argument of `($)', namely `ReadMode head args'
    In a stmt of a 'do' expression:
        inh <- openFile $ ReadMode head args
    In the expression:
        do { args <- getArgs;
             inh <- openFile $ ReadMode head args;
             printFile inh;
             hClose inh }

修复方法是 inh <- openFile (head args) ReadMode。如果您想更详细地解释您的版本为何/如何不正确，或者错误的含义，请告诉我，我将进行编辑。

Answer 3

你这样写：

main :: IO()
main = do
    args <- getArgs
    inh <- openFile $ ReadMode head args
    printFile inh
    hClose inh

但这样可能更好：

main :: IO()
main = do
    args <- getArgs
    withFile (head args) ReadMode printFile

Answer 4

您始终可以使用显式括号 { ; } 永远不必担心这种空白的愚蠢行为。

printFile :: Handle -> IO ()
printFile handle = do {
    end <- hIsEOF handle ;
        if end
            then return ()
            else do { line <- hGetLine handle ;
                putStrLn line ;
                printFile handle }}

本来就完全没问题（如，不会导致错误）。

在 Haskell 中，I/O 通过特殊的“do”语言进行处理。应该拥抱它。它实际上是通过 monad 实现的，这是一个实现细节。

澄清一下：我不认为大括号更好，我认为它们应该与良好且一致的缩进一起使用。大括号为我们提供了关于代码结构的良好且直接的视觉线索。大多数时候，狂野的缩进当然会造成毫无意义的干扰。而且，大括号为我们的工作代码提供了保证，让我们摆脱了空格意外的无谓担忧。他们消除了这种脆性。