Haskell：如何递归定义自定义数学数据类型（避免无限递归）

首先先梳理你已经定义的Math数据类型：

data Math a = Add (Math a) (Math a) 
            | Mult (Math a) (Math a) 
            | Cos (Math a) 
            | Sin (Math a) 
            | Log (Math a) 
            | Exp (Math a) 
            | Const a 
            | Var Char 
            deriving Show

你的核心需求是实现部分求值的eval函数——也就是尽可能化简表达式，但保留无法求值的部分（比如含有变量的项），同时避免无限递归。当前的实现只处理了Add的特殊场景，却没做子表达式的递归处理，也没覆盖其他构造器的逻辑，这是问题的关键。

正确的递归求值实现思路 #

要避免无限递归，核心要抓住三点：

• 先递归求值所有子表达式，把能化简的子部分先处理完；
• 再对求值后的子表达式做模式匹配，判断是否可以进一步化简；
• 对于无法化简的情况（比如包含变量），直接返回构造器本身，终止递归。

下面是完整的eval函数实现：

eval :: (Num a, Floating a) => Math a -> Math a
eval (Const a) = Const a  -- 常量直接返回，是递归的终止条件
eval (Var c) = Var c      -- 变量直接返回，也是递归的终止条件

-- 加法：先递归处理左右子节点，再尝试化简
eval (Add m1 m2) = 
  let evalM1 = eval m1
      evalM2 = eval m2
  in case (evalM1, evalM2) of
       (Const a, Const b) -> Const (a + b)  -- 两个常量相加，直接计算结果
       _ -> Add evalM1 evalM2               -- 否则保留加法结构（子节点已处理）

-- 乘法的处理逻辑和加法一致
eval (Mult m1 m2) = 
  let evalM1 = eval m1
      evalM2 = eval m2
  in case (evalM1, evalM2) of
       (Const a, Const b) -> Const (a * b)
       _ -> Mult evalM1 evalM2

-- 余弦函数：先递归求值参数，再判断是否是常量
eval (Cos m) = 
  let evalM = eval m
  in case evalM of
       Const a -> Const (cos a)  -- 参数是常量，直接计算余弦值
       _ -> Cos evalM            -- 否则保留Cos结构

eval (Sin m) = 
  let evalM = eval m
  in case evalM of
       Const a -> Const (sin a)
       _ -> Sin evalM

eval (Log m) = 
  let evalM = eval m
  in case evalM of
       Const a -> Const (log a)
       _ -> Log evalM

eval (Exp m) = 
  let evalM = eval m
  in case evalM of
       Const a -> Const (exp a)
       _ -> Exp evalM

为什么这样不会无限递归？ #

• 递归终止条件清晰：当遇到Const或Var时，直接返回，不再继续递归；
• 对于复合构造器（如Add、Cos），我们先递归处理子表达式，得到的evalM1/evalM2要么是最简的Const/Var，要么是无法进一步化简的复合结构；
• 处理完子表达式后，只做一次判断：能化简成常量就返回，否则返回包含已化简子节点的构造器，不会重复触发递归。

测试示例 #

比如测试一个混合表达式：

testExpr = Add (Mult (Const 2) (Const 3)) (Var 'x')
eval testExpr  -- 输出：Add (Const 6) (Var 'x')

再测试一个嵌套的三角函数：

testTrig = Cos (Add (Const 0) (Const pi))
eval testTrig  -- 输出：Const (-1.0)

内容的提问来源于stack exchange，提问作者Jack Buckley