Haskell

Haskell  是一種標準化的 ， 通用的純函數式編程語言 ， 有惰性求值和強靜態類型 。 它的命名源自美國邏輯學家哈斯凱爾 · 加里 ， 他在數理邏輯方面上的工作使得函數式編程語言有了廣泛的基礎 。 在Haskell中 ， “ 函數是頭等物件 ” 。 作爲一門函數程式語言 ， 主要控制結構是函數 。 Haskell語言是1990年在編程語言Miranda的基礎上標準化的 ， 並且以λ演算爲基礎發展而來 。 這也是爲什麼Haskell語言以希臘字母 「 λ 」 （ Lambda ） 作爲自己的標誌 。 Haskell具有 “ 證明即程序 、 命題爲類型 ” 的特徵 。