Haskell - 异构数组？

Question

我正在尝试用 99 个 Haskell 问题来学习 Haskell：

https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems。 对于其中一个问题，我必须返回Element 的异构数组和(Int, Element) 形式的元组。由于 haskell 不允许在数组中存储异构数据，我能想到的最好的方法是

data Hetero a = Tuple (Int, a) | Elem a deriving (Show, Ord, Eq)

然后像这样写我的函数：

myFunk [a] -> [Hetero a] 

-- Rest of the function

但是我的结果看起来像这样：

[Tuple (2, 10), Elem 1]

有没有办法可以修改我的数据类型或函数以返回类似的东西

[(2, 10), 1] 

Answer 1

不，没有办法做到这一点。您所做的已经是最好和最惯用的解决方案。

Answer 2

如前所述，明确标记每个元素的类型是正确的做法。当您真正想要使用该列表时，这是有回报的，因为您可以简单地对元素进行模式匹配，然后在每个子句中确定您拥有哪些类型！

但是，这并不意味着这样的列表必须始终写出 与那些冗长的构造函数名称。您可以通过选择不同的构造函数名称来节省大量样板文件，特别是 中缀构造函数：

data Hetero a = Int :* a | Elem a

那么你的列表看起来像

[2 :* 10, Elem 1]

您甚至可以通过实例允许通过单个数字文字定义这些值

instance (Num a) => Num (Hetero a) where
  fromIntegral = Elem . fromIntegral

...然后允许写入

[2:*10, 1]

但这可能不是一个好主意，因为Num 类型也应该支持加法、乘法等，我不确定是否可以为元组情况合理定义。如果你走这条路，你应该确保算术运算实际上表现得很好。

Answer 3

但是我的结果看起来是这样的：

（我的重点）

您可以通过更改Hetero 的定义来解决该问题：

data Hetero a = Tuple (Int, a) | Elem a deriving (Ord, Eq)

instance Show a => Show (Hetero a) where
  show (Tuple (i, x)) = "(" ++ show i ++ ", " ++ show x ++ ")"
  show (Elem x) = show x

现在Hetero 元素列表将按照您希望的方式显示：

*Q46376603> [Tuple (2, 10), Elem 1]
[(2, 10),1]