如何从自定义Haskell异构列表中提取指定类型的Maybe值？

你定义的这种结构叫做异构链表（也常被称为类型级链表、嵌套积类型），本质是通过右结合的类型操作符实现的嵌套值结构，和标准库的列表(:)类似，但每个元素的类型可以完全不同。

针对你要提取指定类型值的需求，这里提供两种可行实现：

方法一：利用Data.Typeable实现动态类型检测 #

这种方式可以在运行时检查异构链表中是否存在目标类型，并返回Maybe结果，适配任意长度的嵌套结构。

首先需要启用必要的GHC扩展，然后定义一个类型类来递归遍历链表：

{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE Typeable #-}
{-# LANGUAGE FlexibleInstances #-}

import Data.Kind (Type)
import Data.Typeable (Typeable, cast)

-- 你的异构链表定义
data (a :: Type) :> (b :: Type) = a :> b
  deriving Show
infixr :>

-- 类型类：描述从异构链表xs中提取类型t的能力
class HasType t xs where
  get :: xs -> Maybe t

-- 实例1：链表头部就是目标类型，直接转换
instance Typeable t => HasType t (t :> xs) where
  get (x :> _) = cast x

-- 实例2：头部不是目标类型，递归处理尾部
instance HasType t xs => HasType t (a :> xs) where
  get (_ :> xsTail) = get xsTail

-- 可选：支持空链表（定义终止单元）
data Unit = Unit deriving Show
instance {-# OVERLAPPABLE #-} HasType t Unit where
  get _ = Nothing

使用示例：

val1 :: Int :> Bool :> String
val1 = 42 :> True :> "asdf"

val2 :: Bool :> String
val2 = True :> "asdf"

-- 提取Int
get @Int val1 -- Just 42
get @Int val2 -- Nothing
-- 提取String
get @String val1 -- Just "asdf"

关键说明 #

你之前遇到的问题在于仅处理了长度为2的链表结构，没有通过类型类实现递归遍历。Typeable的cast函数负责运行时类型检查，而类型类HasType则帮我们覆盖了任意嵌套深度的:>结构。

方法二：纯类型级静态检查（可选） #

如果希望在编译时就确保目标类型存在（不存在则直接报错），可以用类型家族和类型类实现纯静态的提取，但这种方式无法返回Maybe（因为编译时就能确定结果是否存在），示例如下：

{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}

import Data.Kind (Type)

data (a :: Type) :> (b :: Type) = a :> b
  deriving Show
infixr :>

type family Contains t xs where
  Contains t (t :> xs) = 'True
  Contains t (a :> xs) = Contains t xs
  Contains t Unit = 'False

class Extract t xs where
  extract :: xs -> t

instance Extract t (t :> xs) where
  extract (x :> _) = x

instance Extract t xs => Extract t (a :> xs) where
  extract (_ :> xsTail) = extract xsTail

-- 使用时必须确保类型存在，否则编译报错
test = extract @Int val1 -- 42
-- test2 = extract @Int val2 -- 编译错误

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