Haskell语言学习笔记（73）Existentials

Existentials（存在类型）

Existentially quantified types（Existentially types，Existentials）是一种将一组类型归为一个类型的方式。
通常在使用 type, newtype, data 定义新类型的时候，出现在右边的类型参数必须出现在左边。
存在类型可以突破此限制。

实例

{-# LANGUAGE ExistentialQuantification #-}

data ShowBox = forall s. Show s => SB s
 
heteroList :: [ShowBox]
heteroList = [SB (), SB 5, SB True]

instance Show ShowBox where
  show (SB s) = show s
 
f :: [ShowBox] -> IO ()
f xs = mapM_ print xs

main = f heteroList

{-
()
5
True
-}

• data ShowBox = forall s. Show s => SB s
  数据构造器中（等式右边）的类型参数 s 必须是 Show 的实例类型。
  等式右边（数据构造器）的类型参数 s 没有出现在等式左边（类型构造器） ，故而 ShowBox 类型是一种存在类型。
• heteroList = [SB (), SB 5, SB True]
  可以看出存在类型将三种类型归为了一种类型，这种用法接近于Java语言中的接口。

Prelude> :set -XExistentialQuantification
Prelude> :set -XRankNTypes
Prelude> newtype Pair a b = Pair {runPair :: forall c. (a -> b -> c) -> c}
Prelude> makePair a b = Pair $ f -> f a b
Prelude> pair = makePair "a" 'b' 
Prelude> :t pair
pair :: Pair [Char] Char
Prelude> runPair pair (x y -> x)
"a"
Prelude> runPair pair (x y -> y)
'b'