《Real World Haskell》 第二章讀書(shū)筆記

我的博客地址:鏈接

CHAPTER 2: 類(lèi)型與函數(shù)


為什么要關(guān)注類(lèi)型?

了解Haskell的類(lèi)型系統(tǒng)可以更好的根據(jù)其特性,寫(xiě)出精確的跪腹、健壯的代碼褂删。

Haskell的類(lèi)型系統(tǒng)

Haskell類(lèi)型系統(tǒng)的三大特征
1.強(qiáng)類(lèi)型
每個(gè)表達(dá)式和函數(shù)都有確定的類(lèi)型。Hasekll的編譯器或者解釋器在我們使用一個(gè)表達(dá)式時(shí)會(huì)檢測(cè)他的類(lèi)型是否匹配冲茸,一旦發(fā)現(xiàn)不匹配則會(huì)拒絕執(zhí)行這段代碼并返回一個(gè)錯(cuò)誤消息屯阀。(而不是做自動(dòng)類(lèi)型轉(zhuǎn)換)
2.靜態(tài)類(lèi)型
編譯時(shí)確定每一個(gè)變量的類(lèi)型而不是在運(yùn)行時(shí)缅帘。
3.自動(dòng)推導(dǎo)
Haskell有強(qiáng)大的類(lèi)型推導(dǎo)系統(tǒng)。

類(lèi)型系統(tǒng)給了我們什么

靜態(tài)难衰、強(qiáng)類(lèi)型檢查使得 Haskell 更安全股毫,而類(lèi)型推導(dǎo)則讓它更精煉、簡(jiǎn)潔召衔。這樣得出的的結(jié)果是铃诬,比起其他流行的靜態(tài)語(yǔ)言,Haskell 要來(lái)得更安全苍凛,而比起其他流行的動(dòng)態(tài)語(yǔ)言趣席, Haskell 的表現(xiàn)力又更勝一籌。

一些常用的基本類(lèi)型

Char
Bool
Int
Intger
Double

一些常用的函數(shù)

odd
compare

列表與元組

List:[1,2,3,4]
Tuple:("abc",1)

列表與元組相關(guān)函數(shù)

List:take醇蝴、drop
Tuple:fst宣肚、snd

函數(shù)類(lèi)型與純度

副作用:副作用本質(zhì)上是函數(shù)的一種不可見(jiàn)的(invisible)輸入或輸出。
我們將帶副作用的函數(shù)稱(chēng)為“不純(impure)函數(shù)”悠栓,而將不帶副作用的函數(shù)稱(chēng)為“純(pure)函數(shù)”霉涨。

理解求值

變量不可賦值
惰性求值

多態(tài)

參數(shù)多態(tài):Haskell 的參數(shù)多態(tài)直接影響了 Java 和 C# 等語(yǔ)言的泛型(generic)功能的設(shè)計(jì)。Java 泛型中的類(lèi)型變量和 Haskell 的參數(shù)化類(lèi)型非常相似惭适。而 C++ 的模板也和參數(shù)多態(tài)相去不遠(yuǎn)笙瑟。
子類(lèi)多態(tài):繼承,Haskell不是面向?qū)ο篑荆恢С?br> 強(qiáng)制多態(tài):隱式轉(zhuǎn)換往枷,Haskell堅(jiān)決反對(duì)

為什么要對(duì)純度斤斤計(jì)較?

軟件的大部分風(fēng)險(xiǎn)凄杯,都來(lái)自于與外部世界進(jìn)行交互:它需要程序去應(yīng)付錯(cuò)誤的错洁、不完整的數(shù)據(jù),并且處理惡意的攻擊戒突,諸如此類(lèi)屯碴。Haskell 的類(lèi)型系統(tǒng)明確地告訴我們,哪一部分的代碼帶有副作用膊存,讓我們可以對(duì)這部分代碼添加適當(dāng)?shù)谋Wo(hù)措施导而。

總結(jié)

這一章對(duì) Haskell 的類(lèi)型系統(tǒng)以及類(lèi)型語(yǔ)法進(jìn)行了快速的概覽,了解了基本類(lèi)型膝舅,并學(xué)習(xí)了如何去編寫(xiě)簡(jiǎn)單的函數(shù)嗡载。這章還介紹了多態(tài)、條件表達(dá)式仍稀、純度和惰性求值。

參考:
《Real World Haskell》 Bryan O'Sullivan, Don Stewart, and John Goerzen
《Real World Haskell》 中文翻譯項(xiàng)目

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末埂息,一起剝皮案震驚了整個(gè)濱河市技潘,隨后出現(xiàn)的幾起案子遥巴,更是在濱河造成了極大的恐慌,老刑警劉巖享幽,帶你破解...
    沈念sama閱讀 223,002評(píng)論 6 519
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件铲掐,死亡現(xiàn)場(chǎng)離奇詭異,居然都是意外死亡庸追,警方通過(guò)查閱死者的電腦和手機(jī)弧烤,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 95,357評(píng)論 3 400
  • 文/潘曉璐 我一進(jìn)店門(mén)懒浮,熙熙樓的掌柜王于貴愁眉苦臉地迎上來(lái),“玉大人携栋,你說(shuō)我怎么就攤上這事】缺” “怎么了婉支?”我有些...
    開(kāi)封第一講書(shū)人閱讀 169,787評(píng)論 0 365
  • 文/不壞的土叔 我叫張陵,是天一觀的道長(zhǎng)澜建。 經(jīng)常有香客問(wèn)我向挖,道長(zhǎng),這世上最難降的妖魔是什么炕舵? 我笑而不...
    開(kāi)封第一講書(shū)人閱讀 60,237評(píng)論 1 300
  • 正文 為了忘掉前任何之,我火速辦了婚禮,結(jié)果婚禮上咽筋,老公的妹妹穿的比我還像新娘帝美。我一直安慰自己,他們只是感情好晤硕,可當(dāng)我...
    茶點(diǎn)故事閱讀 69,237評(píng)論 6 398
  • 文/花漫 我一把揭開(kāi)白布悼潭。 她就那樣靜靜地躺著,像睡著了一般舞箍。 火紅的嫁衣襯著肌膚如雪舰褪。 梳的紋絲不亂的頭發(fā)上,一...
    開(kāi)封第一講書(shū)人閱讀 52,821評(píng)論 1 314
  • 那天疏橄,我揣著相機(jī)與錄音占拍,去河邊找鬼。 笑死捎迫,一個(gè)胖子當(dāng)著我的面吹牛晃酒,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播窄绒,決...
    沈念sama閱讀 41,236評(píng)論 3 424
  • 文/蒼蘭香墨 我猛地睜開(kāi)眼贝次,長(zhǎng)吁一口氣:“原來(lái)是場(chǎng)噩夢(mèng)啊……” “哼!你這毒婦竟也來(lái)了彰导?” 一聲冷哼從身側(cè)響起蛔翅,我...
    開(kāi)封第一講書(shū)人閱讀 40,196評(píng)論 0 277
  • 序言:老撾萬(wàn)榮一對(duì)情侶失蹤敲茄,失蹤者是張志新(化名)和其女友劉穎,沒(méi)想到半個(gè)月后山析,有當(dāng)?shù)厝嗽跇?shù)林里發(fā)現(xiàn)了一具尸體堰燎,經(jīng)...
    沈念sama閱讀 46,716評(píng)論 1 320
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 38,794評(píng)論 3 343
  • 正文 我和宋清朗相戀三年笋轨,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了秆剪。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片。...
    茶點(diǎn)故事閱讀 40,928評(píng)論 1 353
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡爵政,死狀恐怖仅讽,靈堂內(nèi)的尸體忽然破棺而出,到底是詐尸還是另有隱情茂卦,我是刑警寧澤何什,帶...
    沈念sama閱讀 36,583評(píng)論 5 351
  • 正文 年R本政府宣布,位于F島的核電站等龙,受9級(jí)特大地震影響处渣,放射性物質(zhì)發(fā)生泄漏。R本人自食惡果不足惜蛛砰,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 42,264評(píng)論 3 336
  • 文/蒙蒙 一罐栈、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧泥畅,春花似錦荠诬、人聲如沸。這莊子的主人今日做“春日...
    開(kāi)封第一講書(shū)人閱讀 32,755評(píng)論 0 25
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽(yáng)。三九已至聂抢,卻和暖如春钧嘶,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背琳疏。 一陣腳步聲響...
    開(kāi)封第一講書(shū)人閱讀 33,869評(píng)論 1 274
  • 我被黑心中介騙來(lái)泰國(guó)打工有决, 沒(méi)想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留,地道東北人空盼。 一個(gè)月前我還...
    沈念sama閱讀 49,378評(píng)論 3 379
  • 正文 我出身青樓书幕,卻偏偏與公主長(zhǎng)得像,于是被迫代替她去往敵國(guó)和親揽趾。 傳聞我的和親對(duì)象是個(gè)殘疾皇子台汇,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 45,937評(píng)論 2 361

推薦閱讀更多精彩內(nèi)容