haskell-在数据声明中指定种类

你是对的,因为GHC不支持多态类型,它将做默认的 * .

但是,使用 KindSignatures 扩展名,您可以显式地为数据声明添加特定类型的注释:

{-# LANGUAGE KindSignatures #-}

data Const (a :: * -> *) = Const Integer

或者,如果你喜欢 GADT S:

{-# LANGUAGE GADTs #-}

data Const :: (* -> *) -> * where
  Const :: Integer -> Const a

你现在可以写:

x :: Const Maybe
x = Const 2

我刚用实验编制了原始程序 Utrecht Haskell Compiler (UHC)。

UHC并不真正编译任何现实世界的程序,但它支持类多态性!有趣的是,我们可以推断:

-- kind of data type:
Const :: forall a . a -> *

-- type of constructor:
Const :: Integer -> forall* a . forall b(a) . Const b