Haskell
函數式編程語言 / 維基百科,自由的 encyclopedia
Haskell(發音為/ˈhæskəl/)[26]是一種標準化的,通用的純函數式程式語言,有惰性求值和強靜態類型[27]。它的命名源自美國邏輯學家哈斯凱爾·加里,他在數理邏輯方面上的工作使得函數式程式設計語言有了廣泛的基礎。在Haskell中,「函數是頭等物件」[28]。作為一門函數程式語言,主要控制結構是函數。Haskell語言是1990年在程式語言Miranda的基礎上標準化的,並且以λ演算為基礎發展而來。這也是為什麼Haskell語言以希臘字母「λ」(Lambda)作為自己的標誌。Haskell具有「證明即程式、命題為類型」的特徵[29][30][31][32]。
Quick Facts 編程範型, 設計者 ...
Close