Type Classe实例列表

Question

我一直在玩Haskell类型类，我面临一个问题，我希望有人能帮我解决。考虑到我来自Swift背景并试图将一些面向协议的知识移植到Haskell代码中。

起初我宣布了一堆JSON解析器其中有相同的结构，只是不同的实现：

data Candle = Candle { 
    mts :: Integer, 
    open :: Double, 
    close :: Double 
} 

data Bar = Bar { 
    mts :: Integer, 
    min :: Double, 
    max :: Double 
} 

然后，我决定创建一个“类”，将定义其基本操作：

class GenericData a where 
    dataName :: a -> String 
    dataIdentifier :: a -> Double 
    dataParsing :: a -> String -> Maybe a 
    dataEmptyInstance :: a 


instance GenericData Candle where 
    dataName _ = "Candle" 
    dataIdentifier = fromInteger . mts 
    dataParsing _ = candleParsing 
    dataEmptyInstance = emptyCandle 

instance GenericData Bar where 
    dataName _ = "Bar" 
    dataIdentifier = fromInteger . mts 
    dataParsing _ = barParsing 
    dataEmptyInstance = emptyBar 

我的第一个代码的气味是需要包括“一”，当它不需要（dataName或dataParsing），但随后我继续。

analyzeArguments :: GenericData a => [] -> [String] -> Maybe (a, [String]) 
analyzeArguments [] _    = Nothing 
analyzeArguments _ []    = Nothing 
analyzeArguments name data 
    | name == "Candles" = Just (head possibleCandidates, data) 
    | name == "Bar" = Just (last possibleRecordCandidates, data) 
    | otherwise = Nothing 

possibleCandidates :: GenericData a => [a] 
possibleCandidates = [emptyCandle, emptyBar] 

现在，当我要选择，如果这两种情况下，应选择进行解析，我总是得到以下错误

• Couldn't match expected type ‘a’ with actual type ‘Candle’ 
    ‘a’ is a rigid type variable bound by 
    the type signature for: 
     possibleCandidates :: forall a. GenericData a => [a] 
    at src/GenericRecords.hs:42:29 

我的目标是创建的GenericData因为其他实例的列表功能取决于被选择执行正确的dataParser。我知道这与类型检查程序* -> Constraint有关，但仍未找到解决此冲突的方法。我已经使用了几个GHC语言扩展，但没有一个解决了这个问题。

Answer 1

你有一个类型签名：

possibleCandidates :: GenericData a => [a] 

，你可能一点意味着你可以把任何东西在该列表中，只要它是GenericData。但这不是Haskell的类型系统实际工作的方式。值possibleCandidates可以是具有GenericData类的任何类型的列表，但列表中的每个元素必须是相同的类型。

GHC错误信息告诉你什么（以它自己的特殊方式）是列表的第一个元素是Candle，所以它认为列表的其余部分也应该是Candle类型，但第二个元素是实际上是一个Bar。

现在有办法在Haskell中制作异构列表（和其他集合），但它几乎从来都不是正确的做法。这个问题

一个典型的解决方法就是合并一切分解成一个sum data type：

data GenericData = GenericCandle Candle | GenericBar Bar 

你甚至可以放弃间接的步骤，而直接把蜡烛和酒吧数据直接导入的数据结构。

现在不是发类，你只需要一个数据类型和你的类功能趋于正常功能：

dataName :: GenericData -> String 
dataIdentifier :: GenericData -> Double 
dataParsing :: GenericData -> String -> Maybe a 
dataEmptyInstance :: String -> GenericData 

还有一些其他更复杂的方式来完成这项工作，但如果和数据类型适合该法案，用它。 Haskell中的解析器通常具有大数据类型（通常也是递归的）作为结果。以Aeson的标准JSON库为例，请看Value类型。