重载函数签名haskell

如何解决重载函数签名haskell

| 编译时收到以下错误消息：类型签名重复： 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中需要其他名称？这会很难添加到语言中吗？还是那里有龙？

解决方法

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\“ really \”需要一个Double，所以我总是总是把它加倍，并且当我需要将它传递给一个int时，只需在调用位置使用fromIntegral。通常，在涉及到实际上不同的行为或逻辑时（而不是混杂地），需要类型类。 ,支持ѭ5和ѭ6都需要即席多态性（请参阅http://www.haskell.org/haskellwiki/Ad-hoc_polymorphism），这通常很危险。原因是临时多态性允许使用相同的语法更改语义。 Haskell更喜欢所谓的参数多态性。您可以一直看到带有类型签名的类型签名，在该签名中有一个类型变量。 Haskell通过类型类支持更安全的即席多态性版本。您有三个选择。使用显式函数名称继续执行操作。这是合理的，甚至某些c库都使用了它，例如opengl。使用自定义类型类。这可能是最好的方法，但是很繁琐，并且需要大量代码（通过haskells非常紧凑的标准）。查看sclv \的代码答案。尝试使用现有的类型类，并且（如果使用GHC）可以通过专业化获得性能。像这样：

findVal :: Num a => [ValPair] -> a -> Double
{-# SPECIALISE findVal :: [ValPair] -> Int -> Double #-}
{-# SPECIALISE findVal :: [ValPair] -> Double -> Double #-}
findVal = ...

,Haskell不支持C ++样式的重载（很好，它对类型类进行了sortof，但是我们不以相同的方式使用它们）。是的，有一些与添加它相关的巨龙，主要与类型推断有关（成为指数时间或不确定的或类似的东西）。但是，在Haskell中很少见到这样的“便捷”代码。是Int还是Double？由于您的Int方法委派给Double方法，因此我猜测Double是“正确”的一个。只需使用那个。由于文字重载，您仍然可以将其称为：

findVal whatever 42

42将被视为Double。唯一打破这种情况的情况是，如果您在某个地方获得的东西基本上是Int，则需要将其作为该参数传递。然后使用fromIntegral。但是，如果您努力使代码在各处使用\“ correct \”类型，这种情况将不常见（并且当您必须进行转换时，值得引起注意）。 ,在这种情况下，我认为编写第二个参数同时处理Int和Double的函数很容易。只需写findVal，以便在第二个参数上调用realToFrac。这会将Int转换为Double，而仅留下Double。然后，如果您很懒，让编译器为您推断类型。 ,在许多其他编程语言中，您可以声明（某种）名称相同但签名不同的函数（例如不同的参数类型）。这就是所谓的重载，它当然是实现临时多态性的最流行方法。 Haskell故意不支持重载，因为它的设计人员并不将其视为实现即席多态性的最佳方法。 Haskell方法更是受约束的多态性，它涉及声明类型类和类实例。

重载函数签名haskell

如何解决重载函数签名haskell

解决方法

相关推荐