【資料圖】

haskell 是惰性的。

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

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

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

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

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

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

關(guān)鍵詞：