建站
咨詢
售后
建站咨詢
新聞中心
[[91975]]
創(chuàng)新互聯(lián)于2013年創(chuàng)立，先為湖口等服務建站，湖口等地企業(yè)，進行企業(yè)商務咨詢服務。為湖口企業(yè)網(wǎng)站制作PC+手機+微官網(wǎng)三網(wǎng)同步一站式服務解決您的所有建站問題。
除非你生活中與世隔絕的深山老林里，否則你應該知道，在眾多的所謂頂級編程高手(alpha geeks)中，函數(shù)式編程是十分盛行的。也許你已經(jīng)使用了某種函數(shù)式編程語言。如果你是在使用很傳統(tǒng)的編程語言，例如Java或C#，你應該知道了，這些語言很快就將引入一些函數(shù)式編程特征。就在這美麗的新世界即將來到之際，就在我們摩拳擦掌打算大干一番之前，我想，現(xiàn)在應該是我們暫停一下、反省一下函數(shù)式編程在我們的日常應用開發(fā)中是否合適的好時機。
什么是函數(shù)式編程？簡單的回答：一切都是數(shù)學函數(shù)。函數(shù)式編程語言里也可以有對象，但通常這些對象都是恒定不變的——要么是函數(shù)參數(shù)，要什么是函數(shù)返回值。函數(shù)式編程語言里沒有for/next循環(huán)，因為這些邏輯意味著有狀態(tài)的改變。相替代的是，這種循環(huán)邏輯在函數(shù)式編程語言里是通過遞歸、把函數(shù)當成參數(shù)傳遞的方式實現(xiàn)的。
為什么要使用函數(shù)式編程
擁護者說函數(shù)式編程能開發(fā)出更高效的軟件，而反對者說反之亦然。我感覺雙方的觀點都有問題。我可以輕松的證明函數(shù)式編程能使你更難寫出針對編譯器優(yōu)化的代碼，或者相較于傳統(tǒng)語言的代碼，JIT編譯器對于函數(shù)式代碼會編譯出更慢的程序。命令式編程語言(imperative programming languages)語法跟底層的計算機硬件指令間有著很相似的對應關(guān)系，但函數(shù)式編程語言卻沒有這種特征。結(jié)果就是，編譯器處理函數(shù)式編程語言時更費力。
然而，優(yōu)秀的編譯器能把函數(shù)式編程中的閉包、tail調(diào)用、或lambda表達式轉(zhuǎn)換成跟傳統(tǒng)語言中l(wèi)oop循環(huán)或其它表達式等效的代碼。這需要多做一些工作。如果你在尋找一本厚達1600頁的關(guān)于這方面的好書，我推薦你《Optimizing Compilers for Modern Architectures: A Dependence-based Approach》和《Advanced Compiler Design and Implementation》?；蛘吣阋部梢允褂肎CC或任何具有多階段編譯功能、能生成匯編代碼的編譯器自己去證明這一點。
對于為什么要使用函數(shù)式編程，這有一個更好的論據(jù)，現(xiàn)代的應用程序都會牽涉到多核計算機上的并行運算功能，程序狀態(tài)就成了一個問題。所有的命令式語言，包括面向?qū)ο笳Z言，在涉及多線程時，都會遇到共享對象的狀態(tài)修改問題。這就是死鎖、堆棧跟蹤、低級處理器緩存命中率低等問題的根源。如果對象沒有狀態(tài)，這些問題就不存在了。
在很多地方使用函數(shù)式編程或函數(shù)式編程語言都是非常適合的，甚至是最好的選擇。對于純函數(shù)計算，函數(shù)式編程明顯的比命令式編程更合適。但對于商業(yè)軟件或其它普通應用軟件，你不能不說這正好要顛倒過來。就像Martin Fowler著名的闡述，“傻子都能寫出計算機可讀懂的代碼。優(yōu)秀的程序員寫出的是人能讀懂的代碼?！倍瘮?shù)式編程寫出的代碼就是讓人一眼望去不可讀。
幾段代碼就能讓你知道我說的是什么意思。來自Erlang語言的代碼例子：
- -module(listsort).
- -export([by_length/1]).
- by_length(Lists) ->
- qsort(Lists, fun(A,B) -> A < B end).
- qsort([], _)-> [];
- qsort([Pivot|Rest], Smaller) ->
- qsort([X || X <- Rest, Smaller(X,Pivot)], Smaller)
- ++ [Pivot] ++
- qsort([Y || Y <- Rest, not(Smaller(Y, Pivot))], Smaller).
這個是Haskell語言的：
- -- file: ch05/Prettify.hs
- pretty width x = best 0 [x]
- where best col (d:ds) =
- case d of
- Empty -> best col ds
- Char c -> c : best (col + 1) ds
- Text s -> s ++ best (col + length s) ds
- Line -> '\n' : best 0 ds
- a `Concat` b -> best col (a:b:ds)
- a `Union` b -> nicest col (best col (a:ds))
- (best col (b:ds))
- best _ _ = ""
- nicest col a b | (width - least) `fits` a = a
- | otherwise = b
- where least = min width col
人 vs 機器
一個不怎么樣的程序員一般都能從一段命令式的代碼中很快的看出其基本的功用——甚至這是一種他從未見過的語言。然而雖然你也能從一段函數(shù)式代碼里分析出它的功用，但你絕對不可能簡單幾眼就能看出來。不像命令式代碼，函數(shù)式代碼并不體現(xiàn)出簡單的語言結(jié)構(gòu)。它展現(xiàn)的都是數(shù)學結(jié)構(gòu)。
我們的編程經(jīng)歷了從紙帶打孔到匯編到宏匯編到C語言(高級宏匯編)再到抽象出了很多老實機器上復制運算的高等編程語言。每一步都使我們越來越接近《星際迷航4》里的場景：遇到麻煩的Scott對他的鼠標說出指令(“Hello computer“)。數(shù)十年的進步使得編程語言越來越容易被人類閱讀和理解，函數(shù)式編程的語法是在把時鐘指針往后撥。
函數(shù)式編程能解決并行運算的狀態(tài)問題，但付出的代價是失去人類可讀性。函數(shù)式編程也許完全可以用于任何環(huán)境開發(fā)，它甚至可以通過定義面向領(lǐng)域(domain-specific)的編程語言來拉近人類語言和計算機語言之間的距離。但它糟糕的語法使得它極不適合常規(guī)目的的編程開發(fā)。
不要這么著急的判斷潮流——特別對于那些不想有太多風險的項目。
英文原文：Functional programming: A step backward
本文鏈接：http://www.aqee.net/functional-programming-a-step-backward/
本文名稱：函數(shù)式編程如何才有一席之地
網(wǎng)站鏈接：http://www.dlmjj.cn/article/codeoji.html
