haskell for mac-haskell mac版下載 v1.7.0

　　Haskell Mac版是Mac平臺上的一款軟件開發(fā)工具。Haskell是一種標準化的、通用純函數(shù)式編程語言，有非限定性語義和強靜態(tài)類型。Haskell Mac版可以幫助用戶學(xué)習(xí)Haskell。

軟件特色

　　Haskell的命名源自美國邏輯學(xué)家Haskell Brooks Curry，他在數(shù)學(xué)邏輯方面的工作使得函數(shù)式編程語言有了廣泛的基礎(chǔ)。在Haskell中，函數(shù)是一等公民。作為函數(shù)式編程語言，主要控制結(jié)構(gòu)是函數(shù)。Haskell語言是1990年在編程語言Miranda的基礎(chǔ)上標準化的，并且以λ演算（Lambda-Calculus)為基礎(chǔ)發(fā)展而來。具有“證明即程序、結(jié)論公式即程序類型”的特征。這也是Haskell語言以希臘字母「λ」（Lambda）作為自己標志的原因。Haskell語言的最主要的執(zhí)行環(huán)境是GHC。

　　Haskell支持惰性求值、模式匹配、列表內(nèi)包、類型類和類型多態(tài)。它是一門純函數(shù)式語言，這意味著大體上，Haskell中的函數(shù)沒有副作用。存在一個明確的類型表達副作用，與函數(shù)類型正交。一個純函數(shù)可以返回后續(xù)執(zhí)行的副作用、模塊化其它語言的非純函數(shù)。