为什么以下代码不解析？

Question

以下代码不解析：

main :: IO ()
main = do
    print $ result
        where result = foldl' (+) 0 [1..1000000]
    print $ result
        where result = last [1..1000000]

编译器在第二次打印时抱怨：src / Main.hs：10：5：输入`print'时解析错误

为什么是这样？

Answer 1

问题是where子句只能附加到绑定，而不能附加到表达式 。 事实上：

main :: IO ()
main = do
    print $ result
        where result = foldl' (+) 0 [1..1000000]

完全等同于：

main :: IO ()
main = do
    print $ result
    where result = foldl' (+) 0 [1..1000000]

即where定义main本地定义而不是print $ result行。 由于where必须有约束力的最后一部分，显然下面的print表达式将导致语法错误。

要在do -block中使用where你必须在定义let绑定时使用它（例如这个非常愚蠢的例子）：

main = do
    let result = f
        where f = foldl' (+) 0 [1..1000000]
    print result

---

你可以在语法中检查这个：

decl    →   gendecl
        |   (funlhs | pat) rhs

rhs     →   = exp [where decls]
        |   gdrhs [where decls] 

请注意， where decls是rhs规则的一部分，它定义了声明的右侧。 如果您检查规则exp你不会发现where提到：

exp     →   infixexp :: [context =>] type       (expression type signature)
        |   infixexp

infixexp    →   lexp qop infixexp               (infix operator application)
            |   - infixexp                      (prefix negation)
            |   lexp

lexp    →   \ apat1 … apatn -> exp              (lambda abstraction, n ≥ 1)
        |   let decls in exp                    (let expression)
        |   if exp [;] then exp [;] else exp    (conditional)
        |   case exp of { alts }                (case expression)
        |   do { stmts }                        (do expression)
        |   fexp
fexp    →   [fexp] aexp                         (function application)

aexp    →   qvar                                (variable)
        |   gcon                                (general constructor)
        |   literal
        |   ( exp )                             (parenthesized expression)
        |   ( exp1 , … , expk )                 (tuple, k ≥ 2)
        |   [ exp1 , … , expk ]                 (list, k ≥ 1)
        |   [ exp1 [, exp2] .. [exp3] ]         (arithmetic sequence)
        |   [ exp | qual1 , … , qualn ]         (list comprehension, n ≥ 1)
        |   ( infixexp qop )                    (left section)
        |   ( qop⟨-⟩ infixexp )                 (right section)
        |   qcon { fbind1 , … , fbindn }        (labeled construction, n ≥ 0)
        |   aexp⟨qcon⟩ { fbind1 , … , fbindn }  (labeled update, n  ≥  1)