haskell - 数据族实例非法绑定(bind)到内置语法: ()

Question

我正在尝试定义一个 data type family ，其参数之一导致空元组 () 的类型，但它无法编译。这是一个最小的工作示例:

{-# LANGUAGE TypeFamilies #-}

data family F a
data instance F Int = ()

抛出的编译器错误显示“内置语法的非法绑定(bind):()”。为什么我会收到此错误，即使我没有尝试更改 () 的定义，而是将其设置为某些计算(类型系列的评估)的输出？

无论如何，当 () 改为 Bool 时编译的程序。

Answer 1

对于数据族，您应该在等式右侧提供 ADT 或 GADT 定义。 () 不是构造函数的有效定义。 数据实例 F Int = Bool 声明了一个名为 Bool 的构造函数，该构造函数可以工作，但与类型 Bool 没有任何关系>。只是 Bool 可用作构造函数名称。

您想要做的事情可以通过类型族来实现:

type family F a
type instance F Int = ()

-- or in closed form
type family F a where
    F Int = ()

或者您可以为数据实例提供右侧，这相当于 ():

data instance F Int = FUnit