haskell - 重载函数签名 haskell

Question

编译时出现以下错误消息:

Duplicate type signature:
weightedMedian.hs:71:0-39: findVal :: [ValPair] -> Double -> Double
weightedMedian.hs:68:0-36: findVal :: [ValPair] -> Int -> Double

我的解决方案是使用 findValI 和 findValD。然而，findValI 只是将 Int 类型转换为 Double 并调用 findValD。

此外，我无法对 Num(Int、Double)类型进行模式匹配，因此我不能仅将类型签名更改为

findVal :: [ValPair] -> Num -> Double   

在许多语言中我不需要不同的名称。为什么我在 Haskell 中需要不同的名称？这很难添加到语言中吗？或者那里有龙吗？

Answer 1

Haskell 中的类型类提供了临时多态性(和名称重载):

class CanFindVal a where
          findVal :: [ValPair] -> a -> Double

instance CanFindVal Double where
     findVal xs d = ...

instance CanFindVal Int where
     findVal xs d = findVal xs (fromIntegral d :: Double)

请注意，在这种情况下，由于 findVal “确实”需要一个 Double，所以我总是让它采用 double ，当我需要传递它时一个 int，只需在调用站点使用 fromIntegral 即可。当实际上涉及不同的行为或逻辑时，您通常需要类型类，而不是混杂地使用。