Haskell if then else解析输入`else'的错误

Question

if even 2 then 10 else 11 -- works fine

if even 2 then let t = 10 else let s = 11 -- _:27: parse error on input 'else'

if even 2 then 10 else let s = 11 -- _:34 parse error (possibly incorrect indentation or mismatched brackets)

因为我要说我想用[[p]]编写这样的代码：

[ t | let e = [], 
      let o = p!!14, r <- [13,12..1], 
      if even r 
      then 
         let o = zipWith (+) (p!!r) (zipWith max e (drop 1 e))
             t = o
      else 
         e = zipWith (+) (p!!r) (zipWith max o (drop 1 o))
      t = e ]

在加载时报告错误。 。 。 _：33：输入`else'解析错误

Answer 1

您似乎正在以命令方式为不同分支中的绑定分配不同的值。 这在Haskell中不起作用，你必须代替绑定赋值内的条件，如下所示：

[ t | let e = [],
      let o = p!!14,
      r <- [13,12..1],
      let t = if even r
              then zipWith (+) (p!!r) (zipWith max e (drop 1 e))
              else zipWith (+) (p!!r) (zipWith max o (drop 1 o))
]

请注意，if必须排队。 它必须在与=相同的行上开始，或者必须与下一行中的=相同或更大的缩进级别。

我注意到的另一件事是e将永远是[]而我想象这不是意图。

Answer 2

if表达式中的then和else部分应该在Haskell中返回相同的类型。

它的语法是这样的：

if <condition> then <true-value> else <false-value>\

在您的示例中，除非您计划在if条件本身中使用该变量，否则无法使用let 。

LYAH书很好地指出了与命令式语言相比有条件的区别：

Haskell的if语句和命令式语言中的if语句之间的区别在于，Haskell中的else部分是必需的。 在命令式语言中，如果条件不满足，您可以跳过几个步骤，但在Haskell中，每个表达式和函数都必须返回一些内容。

Answer 3

then 
     let o = zipWith (+) (p!!r) (zipWith max e (drop 1 e))
         t = o

“in”关键字必须在“let”表达式之后