內容根據百度詞條整理!
轉載請聲明來源：https://baike.baidu.com/item/%E5%87%BD%E6%95%B0%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80/22881056
1.WHAT?
函數式語言的核心特征：
（1）以“函數”為首，如同命令式語言中的“變量”，函數可以賦值給其他變量，可以作為其他函數的參數，
或者作為其他函數的返回值。
（2）不修改變量的值。
（3）只有表達式，沒有語句。此處的語句指的是沒有返回值得某些操作。
（4）引用透明（Referential transparency），函數的運行不依賴與外部變量或“狀態”，簡單的說就是，
同一個輸入（參數），總是會產生同一個輸出（返回值），這與數學函數的特征很一致。
命令式語言因為全局變量等的存在，就無法做到這一點。
（5）對比命令式語言，遞歸形式的循環。
2.INCLUDE？
純函數式編程語言
-
-
強靜態類型
-
Concurrent Clean
-
-
弱類型
-
-
Lazy K
-
-
非純函數式編程語言
-
-
強靜態類型
-
強動態類型
-
-
弱類型
-
-
Unlambda
-
-
其他函數式編程語言
1、並行。在函數式編程中，程序員無需對程序修改，程序就可以並發運行。程序運行期間，不會產生死鎖現象。原因是通過函數式編程所得到的程序，在程序中不會 出現某一數據被同時修改兩次及以上的情況，同樣的，兩個不同的線程就更不用說了。由於函數式編程有這樣的優點，導致了程序員完全不用花費精力去考慮增加某個線程帶來的並發問題。
2、單元測試。在函數式編程中，由於程序中的每一個符號都是final后的，所以這樣的函數不會產生副作用。這就導致了在某個地方產生修改，同時不會有函數修改過在自身范圍之外的變量或者狀態被另外的函數所使用。這就導致了函數的返回結果只是返回值。只有函數自身的參數才會影響函數的返回值，所以在編程的時候，對程序中的每個函數而言，程序員只需在控制它們的參數，而不用在意函數自己點順序以及函數外部變量和狀態就能正確的編程。與函數式編程相比，命令式編程就沒有這樣的優勢了，在檢查函數的返回值的同時程序員還必須檢查函數是否影響到了函數的外部狀態和變量。
3、沒有額外作用。副作用是指的是函數內部與外部互動。比如，函數在自身內部可以對函數以外的其他變量進行修改，這樣就會產生其他結果。在函數式編程中，想要達到這樣的目的就必須讓函數自身要保持獨立。在函數式程序語言中，所有的功能的結果就是一個返回值，不存在其他的行為，包括對外部變量的修改。
4、不修改狀態。在函數式編程中，程序語言在使用中是會不修改變量的，它的一個特性可以使得函數式編程語言區別於其他的程序語言。在其他類型的語言中，變量是用來保存狀態的。由於函數式編程不修改變量，導致了這些狀態不能存在於變量中。那么，函數式編程語言保存狀態的方法是使用參數來保存，遞歸方法是最好的例子。由於采用了遞歸方法，函數式編程語言在運行速度上相對於其他語言較慢，所以，速度不夠快是函數式編程語言長期不能廣泛使用的主要原因。
5、引用透明。在函數式編程中，引用透明指的是運行函數的時候，函數的沒一個步驟都不會不牽連到函數的外部變量或狀態，而是只依賴於函數輸入的參數，相同的參數輸入總會得到相同的函數返回值。而在其他類型的語言中，函數的返回值不僅僅與函數的參數傳入有關，也與當前的系統狀態有關。在不同的系統狀態的情況下，函數的返回值不同。
6、代碼部署熱。在以前，假如想在Windows上安裝更新，安裝之后重啟計算機是必須進行的步驟，可能還不只一次的重啟。即使是僅僅安裝了一個小的軟件也不能免於重啟的步驟。一些特殊的系統，比如電信系統，這樣的系統必須保證任何時間都在運行。因為如果在系統更新時緊急撥號失效，就可能造成很大的損失。最理想的情況是在完全不停止系統任何組件的情況下，達到更新相關的代碼的目的。這樣的想法在命令式編程中是不可能的。對函數式的程序，所有的狀態即傳遞給函數的參數都被保存在了堆棧上，這使的熱部署輕而易舉。實際上，所有我們需要做的就是對工作中的代碼和新版本的代碼做一個差異比較，然后部署新代碼。其他的工作將由一個語言工具自動完成。
優點總結：首先，函數式編程語言的代碼十分簡單，加快了開發的速度。並且由於在使用函數式編程語言時，程序員會大量使用到函數，從而減少了重復的代碼，因而程序比較短。其次，函數式編程語言更加接近我們使用的自然語言，程序員在學習和使用它的時候更加快捷容易。函數式編程語言的自由度很高，十分接近自然語言寫出的代碼。另外，函數式編程語言的代碼管理更加方便。函數式編程不會對外部產生依賴，也不會修改外界的狀態。程序員只需把指定的參數給函數，相同的參數其返回的結果必定是相同的。另外，函數式編程語言還支持並發編程，這就使得程序員在進行函數式編程時完全不用考慮死鎖的問題，因為它根本就不修改變量，所以就不存在鎖線程的問題。最后，函數式編程語言的代碼支持代碼熱升級。