熱愛著并痛恨著：談?wù)劸幊谈母?/h1>
| 本文的作者Jon Beltran是一個西班牙程序員，作家，企業(yè)家，大學(xué)時輟學(xué)專職做游戲開發(fā)，他目前主要經(jīng)營Symnum Systems公司，開發(fā) ViEmu 和 Codekana 這兩個開發(fā)工具。 |
軟件編程出問題了。出大問題了。如今的這種編程方式讓人如此不堪忍受，以至于讓人想吐。數(shù)年來我一直在說我痛恨編程。過去的20年，我一直是個全職的軟件開發(fā)者，目前也是，我沒后悔過，我仍然熱愛著我可以用編程來做的事情?？扇匀?，我痛恨編程。
現(xiàn)在的編碼方式是一種讓大腦自殘的方式。編寫過程中的每一步，你都可能使程序崩潰——耗盡了內(nèi)存，訪問了錯誤的指針或引用，或進入了死循環(huán)。毫無疑問，編程給人的感覺就像赤腳走在到處是碎玻璃的地板上。一小寸誤差的落腳距離，喀嚓，你就損失了半個腳趾頭。
這種編程方式的每一步，在每一個語句里，每一行代碼里，函數(shù)調(diào)用或過程里，如果你想寫出能用的代碼，你必須要考慮整個程序中所有的不同的、可能的狀態(tài)。這些狀態(tài)是不可見的，你不可能給它們明確的定義。事實就是這樣。一直是這樣。包括現(xiàn)存的所有的語言。這就是為什么100%的代碼測試覆蓋率也不能保證代碼里沒有bug，永遠也不可能。這也是為什么差程序員不能變好的原因：根本沒有一個結(jié)構(gòu)化的方式讓他們考慮到所有這些可能的情況。
(順便提一下，當(dāng)遇到了多線程程序時，這種情況會惡化1000倍——不是變得更好，而是更壞。)
問題的原因就在于，代碼被寫出來的基本方式就是錯誤的。完全是錯誤的。你寫出了一行行的指令，一步一步，看起來你把程序驅(qū)動到了一個想要的狀態(tài)。但每一步都是相互獨立的，只有編譯器/解釋器能獨自的理解它們，你基本上是很容易把事情做錯，而不是做對。
函數(shù)式編程也許是一種解決方案，我思考了很長時間，做了認(rèn)真的研究。Lisp，Haskell。Lambda計算。函數(shù)式的編程方式確實給常規(guī)的命令式或面向?qū)ο蟮木幊谭椒◣砹瞬簧俑倪M。但這仍不能根本解決問題。它仍然是由很多無聯(lián)系的簡單步驟組成，痛苦的計算出輸出結(jié)果。
這種編碼方式關(guān)鍵是什么地方出了問題？關(guān)鍵地方就在于，你不是在表達你想要什么。你表達的是需要采用什么步驟。試想一下，你讓朋友從冰箱里拿出一瓶啤酒，一步一步來，每一步都如機器人般的刻板，每一步都不關(guān)系到下一步做什么。這是在折磨一個人。極有可能造成災(zāi)難性的失敗。這跟現(xiàn)在的編程方式是完全一樣的。
程序庫(lib)能帶來有用的幫助，但它們只是為應(yīng)付上層特定需求的快捷方式。它們解決不了真正的問題。
最近出現(xiàn)了一篇非常有趣的John Carmack所寫的文章，講的是靜態(tài)代碼檢查，他引用了一條說的非常正確的微博，是Dave Revell寫的關(guān)于代碼檢查的：
“我越用靜態(tài)代碼分析來檢查代碼，我越發(fā)現(xiàn)計算機的強大之處。”
一種觀點
那么，應(yīng)該如何編程？讓我們來舉個簡單的例子：排序。假設(shè)你有一個輸入序列，讓我們稱它，呃哼，輸入值。假設(shè)它有幾個元素?，F(xiàn)在我們要計算出一個新的序列，稱它為輸出值，里面要包含有相同的元素，但元素是經(jīng)過升序排序過的。我們?nèi)绾稳プ觯?/p>
傳統(tǒng)的方法有冒泡排序，快速排序，shell排序，插入排序，等。這些都是能夠讓我們對一個序列進行排序的方法。例如，冒泡排序：
- def bubble_sort( input, output ):
- output = input # start with the unsorted list
- swapped = True
- while swapped:
- swapped = False
- for i = 1 to length(output) - 1:
- if output[i+1] > output[i]:
- swap( output[i+1], output[i] )
- swapped = True
非常的直接。但如果打算去寫出這種排序的代碼，你仍然會犯錯誤！你可能會在交換兩個元素時忘記了把“swapped”參數(shù)設(shè)置成true，或者更典型的，你可能在循環(huán)計數(shù)時犯下忘記減一的錯誤。
這就是我為什么要說這種編程方式有問題的原因：排序是一種很簡單的可以掌握和描述清楚的概念，可是，用代碼去實現(xiàn)它卻是復(fù)雜的，充滿了陷阱，隨時造成程序的崩潰，或輸出錯誤的結(jié)果。一件難事！
有人可能會寫出一種函數(shù)式的上面的算法，但相似之處會是非常明顯的：沒有副作用，可仍然包含完成這個任務(wù)所需的很多步驟。遞歸也許會比迭代更優(yōu)雅(呃哼)，但它并不是本質(zhì)上更好。
那么，對于一個排序操作，它真正的代碼應(yīng)該是什么樣的呢？這多年來，我慢慢總結(jié)出，它應(yīng)該是一種類似這樣的東西(請原諒，這些是只是一些偽代碼，一種不存在的編程方式)：
- def sort(input[]) = output[]:
- one_to_one_equal(input, output)
- foreach i, j in 1..len(output):
- where i < j:
- output[i] <= output[j]
讓我對它做一些解釋：這第一行對sort的定義是說，在輸出序列和輸入序列之間已經(jīng)存在一種1對1的“關(guān)系”。我們下文中會介紹在one_to_one_equal的定義中如何實現(xiàn)這個。這樣一來輸入和輸出序列中確保了相同的元素。它在空間上定義出來可能的答案。
第二，關(guān)鍵點，這下面的行指明，對于輸出序列中的每一對元素，當(dāng)?shù)谝粋€的索引低于第二個的索引時，它的值也是較小或相等。這本質(zhì)上就指明了輸出序列上排序過了。它定義了解決方案中的一種可能的答案。
這是如此的簡單。排序函數(shù)只是說明排序的結(jié)果，而不是如何做。它描述了輸出數(shù)據(jù)，以及相關(guān)的輸入數(shù)據(jù)的特征，它把如何能達到這個結(jié)果的任務(wù)交給了編譯器。
無庸置疑，這存在兩個關(guān)鍵問題：
- 首先，編譯器如何能完成這個任務(wù)？真的有這種可能嗎？在將來的文章里，我將會告訴你這是可能的，真的可能，編譯器甚至能知道采用什么樣的算法來獲得這樣的結(jié)果。
- 第二個問題是，如果把它應(yīng)用到更復(fù)雜的情況中？我還是能向你展示，這種方式完全可以應(yīng)用到任何的所有的編程和計算任務(wù)中，它只是一種更簡單，更有效，更能避免錯誤的編程方式！
我曾經(jīng)想不公開這種技術(shù)，將來成立一個公司來實現(xiàn)這種思想，但多種環(huán)境因素使我重新思考這個計劃?，F(xiàn)在我向大家分享了我的認(rèn)識，想看看事情會如何發(fā)展。請關(guān)注本系列中的下幾篇文章。
尾 注
在本系列的后續(xù)文章中我會做深入講解，這里只稍微提一點。這個one_to_one_equal函數(shù)在這種理想化的語言中將會是一個“標(biāo)準(zhǔn)庫函數(shù)”，它多少看起來應(yīng)該像這個樣子，像下面這個基本邏輯：
- def one_to_one_equal(output[], input[]) = c:
- c = relations(input[i], output[j])
- foreach x = input[i]: len(c(x,)) = 1
- foreach x = output[i]: len(c(,x)) = 1
- foreach x(a,b)=c[i]: a == b
讓我來解釋一下：這第一行的定義是說，在輸入和輸出序列中的元素間有一個1對1的“關(guān)系”集合。
這第二和第三行指明，對于每一個輸入和輸出序列的元素，在集合“c”中都有一個單一的關(guān)系從屬于它們，確保了它們的關(guān)系是一對一的。這最后的一行指明每個關(guān)系上的兩個元素都是相等的，確保這兩個序列是相同的，只是排序過。
英文鏈接：I want to fix programming
原文鏈接：http://www.aqee.net/i-want-to-fix-programming/
【編輯推薦】
