如何在Haskell中实现带守卫与递归的lambda，复刻Python链式计算器

原代码错误点 #

• 类型签名错误：你定义的calc :: Int -> (String -> Int)限定了传入字符串后仅能返回Int，无法适配+/-运算后还要继续接收数字、运算符的链式调用逻辑，Haskell为静态类型，无法直接返回两种不同类型的结果，需要做额外封装。
• 语法错误：lambda后接守卫的写法不符合Haskell语法规范，且\ b calc a+b写法完全错误，lambda参数声明后需跟箭头->，函数应用优先级高于运算符，需主动加括号明确运算顺序。
• 逻辑笔误：减法分支错误写成a + b，会导致计算结果不符合预期。

方案1：无扩展实现（标准Haskell98） #

通过自定义递归代数数据类型封装计算状态，无需启用任何GHC扩展：

-- 定义计算状态：要么是等待接收运算符的下一步计算，要么是最终结果
data CalcState = Next (String -> CalcState) | Result Int

-- 核心计算函数
calc :: Int -> CalcState
calc curVal = Next $ \op -> case op of
  "=" -> Result curVal
  "+" -> Next $ \numStr -> calc (curVal + read numStr)
  "-" -> Next $ \numStr -> calc (curVal - read numStr)
  other -> error $ "不支持的运算符：" ++ other

-- 从计算状态中提取最终结果
getResult :: CalcState -> Int
getResult (Result val) = val
getResult _ = error "计算未完成，缺少结束运算符="

-- 测试调用
main :: IO ()
main = print $ getResult $ calc 1 "+" "1" "+" "10" "-" "7" "="
-- 运行输出：5

方案2：类型类重载实现（和Python调用格式完全一致） #

启用两个GHC扩展即可实现和Python完全一致的调用格式，无需额外封装或类型转换：

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}

-- 定义计算结果的类型类，支持重载为不同返回类型
class CalcRes r where
  calcImpl :: Int -> r

-- 匹配结束场景：传入=运算符返回最终Int结果
instance CalcRes (String -> Int) where
  calcImpl val "=" = val
  calcImpl _ op = error $ "未知运算符：" ++ op

-- 匹配运算场景：传入+-运算符，返回接收数字、继续计算的函数
instance (Num b, CalcRes r) => CalcRes (String -> b -> r) where
  calcImpl val op num = calcImpl $ case op of
    "+" -> val + fromIntegral num
    "-" -> val - fromIntegral num
    other -> error $ "不支持的运算符：" ++ other

-- 对外暴露的计算入口
calc :: CalcRes r => Int -> r
calc = calcImpl

-- 测试调用，格式和Python完全一致
main :: IO ()
main = print $ calc 1 "+" 1 "+" 10 "-" 7 "="
-- 运行输出：5

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