函數式語言實際上是壹種編程語言，通過它可以對計算機進行編程。這些函數式語言相當於人類用來與計算機交流的壹種語言。這種函數式語言在早期是Haskell。
這種函數式語言發布於1980。它是Mondrain的進化版本，比Mondrain更簡單，也做了壹些擴展和變體。至於另壹種幹凈，就是我們常說的C語言。在所有大學生都將參加的全國計算機等級考試中，有C語言這壹科目。
OCaml、Lisp是純函數式語言，對於程序員來說比較省力，容易操作。這些程序員只需要在基礎上增減壹些函數公式來改變運行效果，而這並不會影響程序的正常使用。
因此，函數式語言是編程語言中使用最廣泛的語言。而且沒有額外的附帶影響，其中壹種語言不會打錯，整個大程序都會調整。