Haskell多类型数值二元操作函数编译错误及泛型适配求助

你的编译错误根源在于类型签名的约束与代码实际需求不匹配：原类型签名(Num a) => (a -> a -> a)要求传入的op是针对某一个固定的Num类型a的函数，但你的代码需要op既能处理Int（双Int分支）又能处理Float（其他分支），而a作为刚性类型变量，无法同时代表Int和Float两种类型。

修正方案：使用Rank-N类型约束多态操作符 #

我们需要让op成为一个能适配任意Num类型的多态函数，这可以通过Rank-N类型实现（需要开启对应的语言扩展）。

修正后的完整代码：

{-# LANGUAGE RankNTypes #-}

data MyNum = F Float | I Int

performBinaryOperation :: (forall a. Num a => a -> a -> a) -> MyNum -> MyNum -> MyNum
performBinaryOperation op a b = case a of
    I x -> case b of
      I y -> I (x `op` y)
      F y -> F (fromIntegral x `op` y)
    F x -> case b of
      I y -> F (x `op` fromIntegral y)
      F y -> F (x `op` y)

关键说明 #

1. Rank-N类型的作用：forall a. Num a => a -> a -> a表示传入的op必须是一个多态函数，能够接受任意Num类型的参数并返回同类型结果。这样在代码的不同分支中，op会被自动实例化为对应的类型（Int或Float），解决了类型不匹配问题。
2. 替换int2Float：Haskell标准库中更通用的类型转换函数是fromIntegral，它能将任意Integral类型（包括Int）转换为Num类型，比int2Float更灵活。
3. 示例验证：

   performBinaryOperation (+) (F 5.0) (I 2) -- => F 7.0
   performBinaryOperation (*) (I 3) (I 4)   -- => I 12
   performBinaryOperation (-) (F 10.5) (I 3) -- => F 7.5
   

另一种无扩展的替代方案 #

如果不想开启Rank-N类型扩展，可以显式传入分别针对Int和Float的操作符，但这种写法不够优雅：

performBinaryOperation :: (Int -> Int -> Int) -> (Float -> Float -> Float) -> MyNum -> MyNum -> MyNum
performBinaryOperation opInt opFloat a b = case a of
    I x -> case b of
      I y -> I (x `opInt` y)
      F y -> F (fromIntegral x `opFloat` y)
    F x -> case b of
      I y -> F (x `opFloat` fromIntegral y)
      F y -> F (x `opFloat` y)

-- 使用示例
performBinaryOperation (+) (+) (F 5.0) (I 2) -- => F 7.0

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