【資料圖】

haskell 是惰性的。

函數(shù)在真正需要結(jié)果以前不會(huì)被求值。再加上引用透明，你就可以把程序僅看作是數(shù)據(jù)的一系列變形。

惰性語(yǔ)言中的計(jì)算只是一組初始數(shù)據(jù)和變換公式。

haskell 是靜態(tài)類型的。很大一部分錯(cuò)誤都可以在編譯時(shí)被發(fā)現(xiàn)，若試圖將一個(gè)數(shù)字和字符串相加，編譯器就會(huì)報(bào)錯(cuò)。

haskell 擁有一套強(qiáng)大的類型系統(tǒng)，支持自動(dòng)類型推導(dǎo)。這一來(lái)你就不需要在每段代碼上都標(biāo)明它的類型，像計(jì)算 a=5+4，你就不需另告訴編譯器“a 是一個(gè)數(shù)值”，它可以自己推導(dǎo)出來(lái)。類型推導(dǎo)可以讓你的程序更加簡(jiǎn)練。假設(shè)有個(gè)二元函數(shù)是將兩個(gè)數(shù)值相加，你就無(wú)需聲明其類型，這個(gè)函數(shù)可以對(duì)一切可以相加的值進(jìn)行計(jì)算。

haskell 采納了很多高級(jí)概念，因而它的代碼優(yōu)雅且簡(jiǎn)練。與同層次的命令式語(yǔ)言相比，haskell 的代碼往往會(huì)更短，更短就意味著更容易理解，bug 也就更少。

本文化學(xué)公式編輯器（有機(jī)化學(xué)公式編輯器）到此分享完畢，希望對(duì)大家有所幫助。

關(guān)鍵詞：