Haskell类型定义中能否使用另一类型的特定构造器？

首先明确：你写的这种直接在Things构造器后跟随Color特定构造器的写法，Haskell不支持。因为Red、Blue、Green是Color类型的值构造器（属于值层面），而数据类型定义里，构造器的参数必须是类型（比如Integer、[Bool]这类），不能直接用值构造器作为参数类型。

不过可以通过以下几种方式实现类似的效果：

方案1：拆分独立类型 #

把Color的每个构造器对应的逻辑拆成单独的类型，再组合成Color，同时让Things依赖这些子类型：

-- 先定义对应每个Color构造器的独立类型
data RedType = Red Integer
data BlueType = Blue Double
data GreenType = Green Bool  -- Haskell标准库中是Bool，不是Boolean

-- 原Color类型可以用这些子类型组合
data Color = WrapRed RedType | WrapBlue BlueType | WrapGreen GreenType

-- 现在Things可以直接关联对应的子类型
data Things = Firetruck RedType [Bool] | Sky BlueType (Int, Int) | Grass GreenType

这种方式最直观，完全基于Haskell基础语法，不需要启用任何扩展。

方案2：使用GADTs（广义代数数据类型） #

如果希望更紧凑地关联Color和Things的对应关系，可以启用GADTs扩展，通过类型参数约束构造器的关联：

{-# LANGUAGE GADTs #-}

-- 用GADT定义Color，给每个构造器绑定对应的类型参数
data Color a where
  Red :: Integer -> Color Integer
  Blue :: Double -> Color Double
  Green :: Bool -> Color Bool

-- 定义Things时，通过类型参数限定只能接受Color的特定构造器
data Things where
  Firetruck :: Color Integer -> [Bool] -> Things  -- 只能接受Red构造的Color
  Sky :: Color Double -> (Int, Int) -> Things     -- 只能接受Blue构造的Color
  Grass :: Color Bool -> Things                   -- 只能接受Green构造的Color

这种方式能在类型层面保证Firetruck只能搭配Red对应的Color，避免错误的组合，同时不需要拆分过多子类型。

方案3：直接在Things中复用Color构造器的参数 #

如果不需要显式关联Color类型，也可以直接把Color构造器的参数放到Things的构造器里：

data Color = Red Integer | Blue Double | Green Bool
data Things = Firetruck Integer [Bool] | Sky Double (Int, Int) | Grass Bool

这种方式最简单，但会丢失Things和Color之间的类型关联，适合不需要两者联动的场景。

内容的提问来源于stack exchange，提问作者James Strieter