代码之家 › 专栏 › 技术社区 › hgiesel

种类签名和类型族

types haskell

hgiesel · 技术社区 · 7 年前

我希望

type family Rep a

type family Rep :: * -> *

是一样的,但似乎有区别

type family   Rep a
type instance Rep Int  = Char
-- ok

type family   Rep :: * -> *
type instance Rep Int  = Char
-- Expected kind * -> *, but got 'Int' instead

1 回复 | 直到 7 年前

chi 7 年前

是的,有一个微妙的区别。

type family F a :: *->* 比如说, F Int 类构造函数类型 [] , Maybe

type family F a :: * -> *

-- these three examples can be removed / changed, if wished
type instance F Int = []
type instance F Char = Maybe
type instance F Bool = (,) String

foo :: (F Int a :~: F Int b) -> (a :~: b)
foo Refl = Refl

为了进行上述类型检查,编译器利用了以下事实: F Int a ~ F Int b 暗示 a ~ b

type family F a b :: * F整数

type family F a b :: *
type instance F Int a = ()

推荐文章

Terio · Typescript:使用变量的值创建自定义类型

1 年前

Kareem Adel · 创建函数类型(TypeScript接口)

2 年前

supercarp · 我在R中的数据帧显示,它包含值,但为空,并且对于除第一行以外的所有行,is\u null返回TRUE

2 年前

Oleksandr · 在java中,不同的数据类型如何依赖于操作系统?

2 年前

chili83 · Typescript:可以在类的私有属性中使用构造函数属性吗?

2 年前

Troskyvs · 映射比较函数导致运行时“bad\u function\u call”

2 年前

MatÄj VondrÃ¡Äek · 如何在c#方法中传递类型?

2 年前

Dave · Haskell:将积分转换为浮点(或浮点)。混合浮点数和整数

6 年前

kreo · 为什么&[T]参数也接受&Vec?

6 年前

Jiji · 将简单对象强制转换为简单的通用接口

6 年前