多态参数类型的模式匹配 - 替代

Question

假设我需要不同的输出，具体取决于函数的多态参数的类型。我的初始尝试失败一些神秘的错误消息：

choice :: a -> Int 
choice (_ :: Int) = 0 
choice (_ :: String) = 1 
choice _ = 2 

然而，我们可以通过在不同的数据构造包裹所需类型固定，很容易并使用这些中的模式匹配：

data Choice a = IntChoice Int | StringChoice String | OtherChoice a 

choice :: Choice a -> Int 
choice (IntChoice _) = 0 
choice (StringChoice _) = 1 
choice (OtherChoice _) = 2 

问题：你知道一个方法来绕过这个吗？ Haskell2010，GHC或允许我使用第一个变体（或类似的东西）的任何扩展中有没有功能？

Answer 1

问题：你知道一种方法来规避这种情况吗？ Haskell2010，GHC或允许我使用第一个变体（或类似的东西）的任何扩展中有没有功能？

没有，要么是在2010年或任何GHC扩展，让你写类型

choice :: a -> Int 

，其返回值取决于它的参数类型的函数提供哈斯克尔没有特色。你可以指望将来也不存在这样的特征。

即使有瑕疵在运行时检查GHC的内部数据表示，不可能从类型为Int的新类型的值中区分出Int类型的值：这些类型具有相同的运行时表示。

由函数返回的Int是一个存在于运行时的值，因此需要由运行时存在的另一个值来确定。这可能是要么

1. 一个普通的价值，就像你data Choice a = IntChoice Int | StringChoice String | OtherChoice a; choice :: Choice a -> Int例如，或者

2. 一种类字典，使用一个自定义类，如大卫年轻人的答案，或者内置Typeable类：

   choice :: Typeable a => a -> Int 
   choice a 
       | typeOf a == typeOf (undefined :: Int) = 0 
       | typeOf a == typeOf (undefined :: String) = 1 
       | otherwise        = 2 
   

Answer 2

这混淆了两种不同的多态性。你想要的是 ad-hoc多态性，这是通过类型类来完成的。 a -> Int类型函数的多态性类型为参数多态性。对于参数多态，choice的一个函数定义必须适用于任意可能的类型a。在这种情况下，这意味着它实际上不能使用类型为a的值，因为它不知道任何关于它的值，因此choice必须是一个常量函数，例如choice _ = 3。这实际上给你非常强大的保证功能可以做什么，只是看它的类型（这个属性被称为参数）。

与类型类，你可以实现你的例子如：

class ChoiceClass a where 
    choice :: a -> Int 

instance ChoiceClass Int where 
    choice _ = 0 

instance ChoiceClass String where 
    choice _ = 1 

instance ChoiceClass a where 
    choice _ = 2 

现在，我要指出的是，这种类型的类的做法往往是错误的尤其是当别人谁是刚开始想用它。你绝对是不想这样做，以避免简单的类型，如Choice类型在你的问题。它可以增加很多复杂性，实例解析起初可能会让人困惑。请注意，为了使类型解决方案能够正常工作，需要打开两个扩展：FlexibleInstances和TypeSynonymInstances，因为String是[Char]的同义词。 OverlappingInstances也是必需的，因为类型类在“开放世界”假设下工作（这意味着任何人都可以随后出现并为新类型添加实例，并且必须考虑这一点）。这不是必然一件坏事，但在这里它是由于使用类型解决方案而非简单的数据类型解决方案导致的爬行复杂性的一个标志。特别是可以使事情变得更难以思考和使用。