'do' 块中的最后一条语句必须是表达式

Question

正如标题中所说：“do”构造中的最后一条语句必须是表达式是什么意思？我知道还有其他科目与我类似，但我仍然找不到我的错误。

代码：

import System.Environment

check_args argc args i = do
        putStrLn $ show (args !! i)
        i <- return (i + 1)
        if argc > i
                then mydisplay2 argc args i
                else return i

loop_args argc args = do
        let i = 0
        i <- check_args argc args i

main = do
        args <- getArgs
        putStrLn "The arguments are:"
        loop_args (length args) args

Answer 1

问题出在loop_args函数：

loop_args argc args = do
        let i = 0
        i <- check_args argc args i

写i <- … 是没有意义的，因为你在这里定义了一个名为i 的新 变量（这与let i = 0 中的i 没有太大关系），并且您根本不使用该变量。您可以用check_args argc args i 替换它，错误就会消失，但它可能仍然无法按照您希望的方式工作。

但总的来说，程序看起来命令式，而 Haskell 是一种声明式语言。这意味着每个变量（所以i）都是不可变的，因此您可以不通过递增一个变量来循环。此外，在声明性语言中，没有太多“循环”等。目的不是指定如何你想做什么，而是你想做什么。

您可能希望在这里使用可以在Foldable 对象中移动的mapM_ :: (Foldable f, Monad m) => (a -> m b) -> f a -> m ()，并将一元函数应用于所有项目：

main = do
    args <- getArgs
    putStrLn "The arguments are:"
    mapM_ putStrLn args