Fp的概念最早由誰提出

"fp" 可能是指 "functional programming"(函式式編程)。函式式編程是一種編程範式,它強調函式的作用,即接受輸入並產生輸出,而不會改變外部狀態。函式式編程的概念可以追溯到數學中的函式概念,但將其套用於計算機科學中的程式語言,是由一些數學家和計算機科學家在20世紀50年代和60年代提出的。

函式式編程的早期先驅者包括以下幾位:

  1. 阿隆佐·邱奇(Alonzo Church):他在20世紀30年代末至40年代初的工作,特別是他的λ演算,對函式式編程的發展產生了深遠的影響。λ演算是一種形式系統,用於研究函式的定義、套用和組合。

  2. 約翰·麥卡錫(John McCarthy):他在1958年發明了Lisp語言,這是第一個廣泛使用的函式式程式語言。Lisp的設計受到了λ演算的啟發。

  3. 卡爾·艾坎德(Karl Friedrich Gauss):他在19世紀的工作,特別是關於函式和代數表達式的理論,為函式式編程的概念提供了一定的數學基礎。

  4. 克里斯汀·尼爾斯·赫爾曼·威廉森(Christine Niels-Henning Buhr Williamson):他在1960年代的工作,特別是對函式式語言ISWIM的開發,為函式式編程的普及做出了貢獻。

這些先驅者的貢獻為後來的函式式程式語言,如ML、Haskell、Erlang等,奠定了基礎。