Haskell语言学习笔记（73）Existentials

Existentials（存在类型）

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

实例

{-# LANGUAGE ExistentialQuantification #-}data ShowBox = forall s. Show s => SB sheteroList :: [ShowBox]
heteroList = [SB (), SB 5, SB True]

instance Show ShowBox whereshow (SB s) = show sf :: [ShowBox] -> IO ()
f xs = mapM_ print xsmain = 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'

Haskell语言学习笔记（73）Existentials相关推荐

Haskell语言学习笔记（30）MonadCont, Cont, ContT
MonadCont 类型类 class Monad m => MonadCont m wherecallCC :: ((a -> m b) -> m a) -> m a ins ...
Haskell语言学习笔记（41）Parsec（1）
Parsec Parsec是一个词法及语法分析器. 匹配字符与字符串 Prelude Text.Parsec> parseTest anyChar "a" 'a' Prelu ...
C语言如何加缓冲,C语言学习笔记之输出缓冲
在c语言中经常用到输出函数printf,当我们像往常一样在输出函数中输入我们的想要的输出的东西后加\n换行验证结果如我们输出的一样如果我们在后面加入死循环会不会出现这些语句呢结果卡死了,可还是输 ...
R语言学习笔记——高级篇：第十四章-主成分分析和因子分析
R语言 R语言学习笔记--高级篇:第十四章-主成分分析和因子分析文章目录 R语言前言一.R中的主成分和因子分析二.主成分分析 2.1.判断主成分的个数 2.2.提取主成分 2.3.主成分旋转 ...
梓益C语言学习笔记之链表＆动态内存＆文件
梓益C语言学习笔记之链表&动态内存&文件一.定义: 链表是一种物理存储上非连续,通过指针链接次序,实现的一种线性存储结构. 二.特点: 链表由一系列节点(链表中每一个元素称为节点)组 ...
6.方法(go语言学习笔记)
6.方法(go语言学习笔记) 目录定义匿名字段方法集表达式 1. 定义方法是与对象实例绑定的特殊函数. 方法是面向对象编程的基本概念,用于维护和展示对象的自身状态.对象是内敛的,每个实例对象 ...
梓益C语言学习笔记之指针
梓益C语言学习笔记之指针一.32位平台下,地址是32位,所以指针变量占32位,共4个字节二.内存单元的地址即为指针,存放指针的变量称为指针变量,故:"指针"是指地址,是常量,& ...
c语言中void arrout,c语言学习笔记(数组、函数
<c语言学习笔记(数组.函数>由会员分享,可在线阅读,更多相关<c语言学习笔记(数组.函数(53页珍藏版)>请在人人文库网上搜索. 1.数组2010-3-29 22:40一维数 ...
c语言float二进制输出代码_C语言学习笔记——学前知识概述
将我大一学习C语言时做的笔记拿来与大家分享,内容比较浅显,比较适合初学者,如有错误还请见谅,提出改正,谢谢! 前言:此C语言笔记是本人在自学时记录的一些重点或初学者常犯的错误,希望我的这本笔记能够对大 ...

Haskell语言学习笔记（73）Existentials

Existentials（存在类型）

实例

Haskell语言学习笔记（73）Existentials相关推荐

最新文章

热门文章