Haskell 中的解析错误

Question

以下代码：

import IO
import System(getArgs)

main = do
    args <- getArgs
    let l = length args
    if l == 0
        putStrLn "foo"
    else
        putStrLn "bar"

为 if-else 子句生成解析错误。我试过使用花括号无济于事。 救命！

Answer 1

只是为了证明我对马克的回答的评论，

import System.Environment (getArgs)

main :: IO ()
main = do
    args <- getArgs
    let l = length args
    if l == 0
      then putStrLn "foo"
      else putStrLn "bar"

是合法的 Haskell。

---

使用 GHC 7.0 的 {-# LANGUAGE RebindableSyntax #-} 扩展，您甚至可以侥幸逃脱

class IfThenElse a b c d | a b c -> d where
    ifThenElse :: a -> b -> c -> d
instance IfThenElse Bool a a a where
    ifThenElse True = const
    ifThenElse False = flip const
instance (Monad m, IfThenElse a (m b) (m b) (m b))
      => IfThenElse (m a) (m b) (m b) (m b) where
    ifThenElse = liftM ifThenElse

main =
    if liftM null getArgs
      then putStrLn "foo"
      else putStrLn "bar"

（无耻模仿blog.n-sch.de。）

Answer 2

两个问题：

1. 您缺少the let-in clause 的in 部分（请参阅（并接受）@ephemient's answer）

2. 您缺少the if-then-else clause 的then 部分

所以它可能看起来像：

import IO import System(getArgs)

main = do
    args <- getArgs
    let l = length args in
        if l == 0 then
            putStrLn "foo"
        else
            putStrLn "bar"