Haskell编写Exp类型optimize函数报parse error缩进或括号不匹配错误

直接报错原因 #

你的代码触发解析错误的核心原因是 Haskell的if是必须返回值的表达式，强制要求同时有then和else两个分支，你当前只写了if条件和then分支，缺少else分支，语法结构不完整，编译器无法完成解析。

代码其他逻辑问题 #

就算补全else分支，你的代码依然无法正常运行，还存在两个问题：

• 你在if条件中直接写Eplus (Enum 0) (Enum x)尝试提取变量x是无效写法：布尔判断表达式中不能凭空绑定新变量，变量提取需要通过函数参数的模式匹配实现。
• 你的Exp自定义类型没有派生Eq类，无法直接用==判断两个表达式是否相等。

修正后的示例代码 #

更符合Haskell习惯的写法是用模式匹配替代if判断，参考实现如下：

data Exp = Enum Int -- 常量
         | Eplus Exp Exp -- e1 + e2
         | Etimes Exp Exp -- e1 * e2
         deriving (Eq, Show) -- 派生Eq支持相等判断，派生Show方便打印测试


optimize :: Exp -> Exp
-- 匹配 +0 优化规则，0在左右两侧都覆盖
optimize (Eplus (Enum 0) e) = optimize e
optimize (Eplus e (Enum 0)) = optimize e
-- 递归优化加法、乘法的子表达式
optimize (Eplus e1 e2) = Eplus (optimize e1) (optimize e2)
optimize (Etimes e1 e2) = Etimes (optimize e1) (optimize e2)
-- 常量无需优化直接返回
optimize (Enum x) = Enum x

这类解析错误的通用排查方向 #

碰到parse error (possibly incorrect indentation or mismatched brackets)错误时，优先排查以下几点：

• 语法结构是否完整：if必须带else、case表达式分支覆盖完整、do代码块缩进正确
• 缩进是否规范：同层级代码缩进必须一致，不要混用制表符和空格
• 符号是否配对：所有括号、引号都要成对出现，没有遗漏或多写
• 语法格式是否正确：函数类型签名、定义的符号拼写正确，没有缺漏空格、箭头等符号

内容的提问来源于stack exchange，提问作者Rafael Gonzalez