绑定类型参数

Question

我目前正在使用相当不错的haskell-eigen库，并且偶然发现了一个根本性的可能的基本问题（我对于实际的haskell开发很陌生）。

我使用它们的基本矩阵型

data Matrix a b :: * -> * -> * 

其中a表示Haskell和b中的内部的C类型。这是通过限制

Elem a b 

实现了

Elem Double CDouble 
Elem Float CFloat 
-- more for complex types... 

虽然不是真的我想在这里问我有点不明白为什么这样做这样的问题。因为它显然是一种功能映射，我已经不明白为什么这是作为一个等价关系公式化，但无论如何...

我现在想定义（作为一个简单的例子 - 我有几个）实例来自keys包的Key。它定义给定容器的索引键，例如

type instance [] = Int 

因此，Key的实例定义在种类* - > *上。

然而，由于这一要求，这是不行的：

type instance Key Matrix = (Int, Int) 

我必须以某种方式使基体是一种*的 - > *。所以（从C++来我想去使用traits类做到这一点），我尝试这样做：

type family CType a where 
    CType Double = CDouble 
    CType Float = CFloat 

type MatX a = Matrix a (CType a) 

在我试图使用类型同义词作为实现的是，上述官能型地图的手段换句话说。

现在，我尝试了以下内容：

type instance Key MatX = (Int, Int) 

这给了我“之类的同义词‘MATX板’应该有一个参数，但是已经给定无”，我甚至尝试了明显错误

type instance Key (MatX a) = (Int, Int) 

它给了我“预期的种类* - > *，但是MatX a有种*”。这听起来像我“编译器期望类型超过0，但是 - 类型同义词 - 少于1个参数”。

所以我的问题是：为了解决这种类型的不匹配或以另一种方式摆脱它，如何在haskell中通常映射类型。

PS：我清楚地知道，特征矩阵具有索引功能，但

1. 我想这是一个普遍的与其他数据类型
2. 我在其他其他变种这个问题类型实例。

编辑：添加了提到的软件包的参考链接。

Answer 1

你快到了。一个缺失的是type必须使用同义词饱和 - 也就是说，你必须提供所有的论点。 MatX本身不是有效的类型，只有MatX a。原因是type的同义词只是同义词 - 它们在编译时被扩展，这意味着编译器需要知道所有的同义词的参数，以便在扩展后得到有效的类型。

修复方法是将您的type的同义词更改为newtype。

newtype MatX a = MatX { getMatX :: Matrix a (CType a) } 

newtype小号可以部分地施加，因为MatX a现在是一个不同类型Matrix a (CType a)。

type instance Key MatX = (Int, Int) 

Answer 2

另一个答案显示了将类型同义词转换为可以在实例声明中使用的一般情况。但在这个特定情况下，它可以更简单：由于索引类型对于所有不同的矩阵是相同的，因此您可以提供所需的参数以获得正确的类型。因此：

type instance Key (Matrix a) = (Int, Int) 

没有额外的类型家族需要Haskell和C类型，不需要新的类型。这也将使得使用密钥的库API更加简单，因为在每次调用时都不需要进行任何新类型的打包和解包。