`forall a -> b` 语法是什么意思?
What does the `forall a -> b` syntax mean?
在GHCi中,FUN
的种类是这样显示的:
λ> :k FUN
FUN :: forall (n :: Multiplicity) -> * -> * -> *
起初,我以为这是一种迂回的说法
FUN :: Multiplicity -> * -> * -> *
但事实证明,模板 Haskell 有一个用于此表单的单独构造函数:ForallVisT
。我找不到关于它的任何文档,我什至不知道如何开始以有意义的方式试验它。
这个语法是什么意思? forall a -> b
与“正常”forall a. a -> b
有何不同?
forall a -> _
当结果类型取决于显式参数时使用。
-- type NonDep :: Type -> Type; argument is explicit
data NonDep (x :: Type) :: Type
-- type ImpDep :: forall a. Maybe a -> Type; first argument is implicit and dependent
data ImpDep (x :: Maybe a) :: Type
-- so if you want an explicit and dependent argument...
-- type ExpDep :: forall (a :: Type) -> Maybe a -> Type
data ExpDep (a :: Type) (x :: Maybe a) :: Type
奇怪的是 FUN
的类型具有 forall (m :: Multiplicity) ->
而不是 Multiplicity ->
作为以下参数(两个隐式 RuntimeRep
和两个 TYPE
s) 不依赖于它,但这就是围绕 GHC 原语的怪异之处。
在GHCi中,FUN
的种类是这样显示的:
λ> :k FUN
FUN :: forall (n :: Multiplicity) -> * -> * -> *
起初,我以为这是一种迂回的说法
FUN :: Multiplicity -> * -> * -> *
但事实证明,模板 Haskell 有一个用于此表单的单独构造函数:ForallVisT
。我找不到关于它的任何文档,我什至不知道如何开始以有意义的方式试验它。
这个语法是什么意思? forall a -> b
与“正常”forall a. a -> b
有何不同?
forall a -> _
当结果类型取决于显式参数时使用。
-- type NonDep :: Type -> Type; argument is explicit
data NonDep (x :: Type) :: Type
-- type ImpDep :: forall a. Maybe a -> Type; first argument is implicit and dependent
data ImpDep (x :: Maybe a) :: Type
-- so if you want an explicit and dependent argument...
-- type ExpDep :: forall (a :: Type) -> Maybe a -> Type
data ExpDep (a :: Type) (x :: Maybe a) :: Type
奇怪的是 FUN
的类型具有 forall (m :: Multiplicity) ->
而不是 Multiplicity ->
作为以下参数(两个隐式 RuntimeRep
和两个 TYPE
s) 不依赖于它,但这就是围绕 GHC 原语的怪异之处。