本節(jié)書摘來自異步社區(qū)《Haskell趣學指南》一書中的第2章，第2.3節(jié)類型變量，作者 【斯洛文尼亞】Miran Lipovaca，更多章節(jié)內(nèi)容可以訪問云棲社區(qū)“異步社區(qū)”公眾號查看

2.3　類型變量
有時讓一些函數(shù)處理多種類型將更加合理。比如head函數(shù)，它可以取一個列表作為參數(shù)，返回這一列表頭部的元素。在這里列表中元素的類型不管是數(shù)值、字符還是列表，都不重要。不管它具體的類型是什么，只要是列表，head函數(shù)都能夠處理。

猜猜head函數(shù)的類型是什么呢？用:t檢查一下：

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

這里的a是什么？是類型嗎？想想我們在前面說過，凡是類型其首字母必大寫，所以它不是類型。它其實是個類型變量（type variable），意味著a可以是任何類型。

通過類型變量，我們可以在類型安全（type safe)）的前提下，輕而易舉地編寫能夠處理多種類型的函數(shù)。這一點與其他語言中的泛型（generic）很相似，但在Haskell中要更為強大，更容易寫出通用的函數(shù)。

使用了類型變量的函數(shù)被稱作多態(tài)函數(shù)（polymorphic function）。head函數(shù)即為此例，從它的類型聲明中可以看出，它的參數(shù)類型為任意類型的元素組成的列表，返回的類型也正是該類型。

注意：
在命名上，類型變量使用多個字符是合法的，不過約定俗成，通常都是使用單個字符作為名字，如a,b,c,d...
還記得fst嗎？它可以返回一個序對中的首項。查一下它的類型：

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

可以看出fst取一個元組作為參數(shù)，且返回類型與元組中首項的類型相同。這便是fst能夠處理任何類型序對的原因。注意，a和b是不同的類型變量，并非特指二者表示的類型不同，這就意味著，在這段類型聲明中元組首項的類型與返回值的類型可以相同。

總結

以上是生活随笔為你收集整理的《Haskell趣学指南》—— 第2章，第2.3节类型变量的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。