Haskell MAC版是一款十分實(shí)用的MAC軟件開發(fā)工具,如果你是專業(yè)的編程人員,那就可以試試這款軟件啦!該軟件是一種標(biāo)準(zhǔn)化的、通用純函數(shù)式編程語(yǔ)言,有非限定性語(yǔ)義和強(qiáng)靜態(tài)類型,有需要的用戶趕緊下載吧!
【軟件特色】
Haskell的命名源自美國(guó)邏輯學(xué)家Haskell Brooks Curry,他在數(shù)學(xué)邏輯方面的工作使得函數(shù)式編程語(yǔ)言有了廣泛的基礎(chǔ)。在Haskell中,函數(shù)是一等公民。作為函數(shù)式編程語(yǔ)言,主要控制結(jié)構(gòu)是函數(shù)。Haskell語(yǔ)言是1990年在編程語(yǔ)言Miranda的基礎(chǔ)上標(biāo)準(zhǔn)化的,并且以λ演算(Lambda-Calculus)為基礎(chǔ)發(fā)展而來(lái)。具有“證明即程序、結(jié)論公式即程序類型”的特征。這也是Haskell語(yǔ)言以希臘字母「λ」(Lambda)作為自己標(biāo)志的原因。Haskell語(yǔ)言的最主要的執(zhí)行環(huán)境是GHC。
Haskell支持惰性求值、模式匹配、列表內(nèi)包、類型類和類型多態(tài)。它是一門純函數(shù)式語(yǔ)言,這意味著大體上,Haskell中的函數(shù)沒(méi)有副作用。存在一個(gè)明確的類型表達(dá)副作用,與函數(shù)類型正交。一個(gè)純函數(shù)可以返回后續(xù)執(zhí)行的副作用、模塊化其它語(yǔ)言的非純函數(shù)。
【更新內(nèi)容】
V1.3.2:2016年12月23日更新
自動(dòng)完成中的可用性修復(fù)。