Haskell实现update_money函数：解决交易金额计算的类型转换问题

你的代码存在三个核心问题： #

1. 参数匹配顺序错误：函数定义中把当前金额参数放在了交易元组的前面，模式匹配顺序完全颠倒，导致无法正确解构交易数据。
2. 计算逻辑错误：金额变动应该是「交易数量 × 单价」，而非直接用数量加减当前金额——比如买入1股10元，要减的是1×10=10，不是减1。
3. 类型不匹配：你用show把数值转成了字符串，但函数声明返回类型是Int，字符串与Int类型不兼容，这就是类型错误的根源；同时异常分支返回字符串也不符合返回要求。

修正后的代码 #

type Transaction = (Char, Int, Int, String, Int) 

update_money :: Transaction -> Int -> Int
update_money (action, units, price, _, _) currentMoney =
    case action of
        'B' -> currentMoney - units * price
        'S' -> currentMoney + units * price
        _   -> error "Invalid transaction action: must be 'B' or 'S'"

代码说明 #

• 模式匹配直接解构Transaction元组，提取关键的action（交易类型）、units（数量）、price（单价），股票代码和日期用_忽略（不影响金额计算）。
• 用case分支处理不同交易类型：
  • 买入（'B'）：当前金额减去「数量×单价」
  • 卖出（'S'）：当前金额加上「数量×单价」
  • 非法操作：用error抛出明确错误提示
• 所有分支均返回Int类型，完全符合函数声明的类型要求。

测试验证 #

ghci> update_money ('B', 1, 10, "VTI", 5) 100
90  -- 100 - 1*10 = 90，符合预期
ghci> update_money ('S', 2, 10, "VTI", 5) 100
120 -- 100 + 2*10 = 120，符合预期

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