Question

通过'type function argument'我的意思是

> newtype Wrapper f a = Wrapper (f a)
> :kind Wrapper
Wrapper :: (* -> *) -> * -> *

所以f这里是一个类型函数参数，所以我可以像这样构造类型

> :kind Wrapper Maybe Int
Wrapper Maybe Int :: *

现在问题在于我实际上在f的值中使用Wrapper，我想忽略它：

> newtype Wrapper f a = Wrapper a
> :kind Wrapper
Wrapper :: * -> * -> *

猜猜是什么！ f不再是类型函数，导致我之前的类型构造失败：

> :kind Wrapper Maybe Int
<interactive>:1:9: error:
    • Expecting one more argument to ‘Maybe’
      Expected a type, but ‘Maybe’ has kind ‘* -> *’
    • In the first argument of ‘Wrapper’, namely ‘Maybe’
      In the type ‘Wrapper Maybe Int’

那么如何构建类型相同的方式（Wrapper Maybe Int）而不需要在Maybe值中包含具体的Wrapper值？

Answer 1

原来我只需要使用语言扩展名：

> {-# LANGUAGE KindSignatures #-}

> newtype Wrapper (f :: * -> *) a = Wrapper a

> :kind Wrapper
Wrapper :: (* -> *) -> * -> *

声明具有未使用的类型函数参数的类型

1 个答案: