Haskell中的函数类型专业化

Question

我有一个函数，它有类型Read a => String -> a，是否有可能有另一个功能具有相同的名称，做不同的事情a是例如String？是否有任何GHC扩展允许这样做？

喜欢的东西：

f :: Read a => String -> a 
f = read 

f :: String -> String 
f = id 

Answer 1

在Haskell，这种函数重载（广告-hoc多态性）是通过使用类型类实现的，而不是通过在多个类型下绑定相同的名称。

{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-} 

class F a where f :: String -> a 

instance F String where f = id 
instance F Int where f = read 
instance F Char where f = read 
instance F Float where f = read 
-- etc. 

现在，f可以对其中的F实例已被宣布任何类型的工作。

不幸的是，你不能逃脱如下：

instance Read a => F a where f = read 

也许unintuitively，这并不不仅适用于有Read一个实例类型声明的F一个实例。因为GHC解决只用实例声明（部分为=>的右侧）的头部的情况下，这实际上宣告各类a是的F情况下，反而使得它一个类型错误调用f任何东西这不也是Read的实例。

如果您启用UndecidableInstances扩展名，它会编译，但这只会导致其他问题。这是一个你不想冒险的兔子洞。

相反，您应该针对您打算运行的每个单独类型声明F的实例。这不是一个简单的类像这样的一个非常繁重的，但如果你使用最新GHC的版本，可以使用以下使它稍微容易：现在

{-# LANGUAGE DefaultSignatures #-} 

class F a where f :: String -> a 
       default f :: Read a => String -> a 
       f = read 

，对于任何类型的是的Read例如，你可以声明其F实例，而无需提供f实施明确：

instance F Int 
instance F Char 
instance F Float 
-- etc. 

对于任何类型的无Read情况下，你仍然必须写明确的实施。

Answer 2

我得到它的工作，但我不得不打开了一堆可疑的语言选项：

{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE UndecidableInstances #-} 
{-# LANGUAGE TypeSynonymInstances #-} 
{-# LANGUAGE OverlappingInstances #-} 

class SpecialRead a where 
    specialRead :: String -> a 

instance Read a => SpecialRead a where 
    specialRead = read 

instance SpecialRead String where 
    specialRead = id 

main = do 
    print (specialRead "10" :: Int) 
    print (specialRead "10" :: String)