《Haskell趣学指南》—— 第2章，第2.3节类型变量

本节书摘来自异步社区《Haskell趣学指南》一书中的第2章，第2.3节类型变量，作者【斯洛文尼亚】Miran Lipovaca，更多章节内容可以访问云栖社区“异步社区”公众号查看

2.3　类型变量
有时让一些函数处理多种类型将更加合理。比如head函数，它可以取一个列表作为参数，返回这一列表头部的元素。在这里列表中元素的类型不管是数值、字符还是列表，都不重要。不管它具体的类型是什么，只要是列表，head函数都能够处理。

猜猜head函数的类型是什么呢？用:t检查一下：

ghci> :t head
head :: [a] -> a

这里的a是什么？是类型吗？想想我们在前面说过，凡是类型其首字母必大写，所以它不是类型。它其实是个类型变量（type variable），意味着a可以是任何类型。

通过类型变量，我们可以在类型安全（type safe)）的前提下，轻而易举地编写能够处理多种类型的函数。这一点与其他语言中的泛型（generic）很相似，但在Haskell中要更为强大，更容易写出通用的函数。

使用了类型变量的函数被称作多态函数（polymorphic function）。head函数即为此例，从它的类型声明中可以看出，它的参数类型为任意类型的元素组成的列表，返回的类型也正是该类型。

注意：
在命名上，类型变量使用多个字符是合法的，不过约定俗成，通常都是使用单个字符作为名字，如a,b,c,d...
还记得fst吗？它可以返回一个序对中的首项。查一下它的类型：

ghci> :t fst
fst :: (a, b) -> a

可以看出fst取一个元组作为参数，且返回类型与元组中首项的类型相同。这便是fst能够处理任何类型序对的原因。注意，a和b是不同的类型变量，并非特指二者表示的类型不同，这就意味着，在这段类型声明中元组首项的类型与返回值的类型可以相同。

《Haskell趣学指南》—— 第2章，第2.3节类型变量相关推荐

《Haskell趣学指南》—— 第1章，第1.2节小朋友的第一个函数
本节书摘来自异步社区<Haskell趣学指南>一书中的第1章,第1.2节小朋友的第一个函数,作者 [斯洛文尼亚]Miran Lipovaca,更多章节内容可以访问云栖社区"异步社 ...
《Haskell趣学指南》笔记之I/O
系列文章 <Haskell趣学指南>笔记之基本语法 <Haskell趣学指南>笔记之类型(type) <Haskell趣学指南>笔记之函数 <Haskell趣 ...
[2017.02.21-22] 《Haskell趣学指南 —— Learning You a Haskell for Great Good!》
{- 2017.02.21-22 <Haskell趣学指南 -- Learning You a Haskell for Great Good!> 学习了Haskell的基本语法,并实现了一 ...
Haskell趣学指南4-6
函数的语法模式匹配本章讲的就是haskell那套酷酷的语法结构,先从模式匹配开始.模式匹配通过检查数据的特定结构来检查其是否匹配,并按模式从中取得数据. 在定义函数时,你可以为不同的模式分别定义函 ...
【趣学算法】第二章算法之美（下）
14天阅读挑战赛 [趣学算法]第二章算法之美(下) 1. 一棋盘的麦子 1.1 题目描述 1.2 题目解析 1.3 爆炸增量函数称上面的函数(1.2中的第一个函数)为爆炸增量函数. 爆炸函数也就是 ...
【趣学算法】第一章算法之美（上）
14天阅读挑战赛 [趣学算法]第一章算法之美(上) 文章目录 [趣学算法]第一章算法之美(上) 1.打开算法之门 2.妙不可言---算法复杂性 2.1 算法的引入 [算法的定义] [算法题] [& ...
趣学数据结构--第六章：树
趣学数据结构---->第六章:树二叉树线索二叉树树的应用二叉树的深度二叉树的叶子数二叉树的结点数三元组创建二叉树遍历序列还原树哈夫曼树二叉树二叉树的创建(询问创建以及补空创 ...
HTML5 权威指南第 10 章文档分节学习笔记
HTML5 权威指南第 10 章文档分节学习笔记第 8 章标记文字内容从从文字出发,专注如何将单体内容正确的呈现出来:第 9 章组织内容内容从段落出发,专注如何将单体内容合理的放在段落中 ...
趣学算法【第一章：算法之美】感悟（上）
14天阅读挑战赛前言努力是为了不平庸~ 算法学习有些时候是枯燥的,这一次,让我们先人一步,趣学算法! 1.什么是算法,为什么要学习? 其实算法是一个比较模糊的概念,简单来说,算法就是将解决一件事的 ...

《Haskell趣学指南》—— 第2章，第2.3节类型变量

《Haskell趣学指南》—— 第2章，第2.3节类型变量相关推荐

最新文章

热门文章