對函數式編程的誤解

 最近，我偶然看到了這樣一篇文章：實用的純函數式編程，里面談到了函數式編程的優勢。然而，作者的某些對函數式編程的思想認識卻讓我詫異：

“長期的處在命令式編程的環境世界里會讓我們養成一種特定的順序式的思考方式 … 而另一邊，在純函數的世界里，我們被強迫去思考的是如何變換數據。”

作者辯論說，按照代碼序列來思考程序執行的思考方式是命令式編程語言固有的特征。文章中給出的第一個“命令式”的例子是一個簡單的Java循環：

1  int sum(int[] list) {
2     int result = 0;
3     for (int i : list)
4       result += i;
5     return result;
6   }

問題在于，我可以用純函數編程語言寫出相同形式的這個例子。當然，這代碼跟Haskell語言代碼不是很相似，但你要知道，Haskell并不是唯一的純函數編程語言。例如，下面的這段代碼：

1  int sum([int] list):
2       result = 0
3       for i in list:
4           result = result + i
5       return result

這是一個最嚴格意義上的純函數(針對相同的輸入永遠都產生相同的輸出，沒有邊際效應，而且具有親系透徹性(referentially transparent)的。)這個函數是純函數，這是因為復合數據結構(例如list，set，map等)具有值語義(value semantics)，它們的行為跟基本數據結構(例如int)一樣，而不是類似Java里的那種對數據的引用。

函數式風格

我認為作者在文章里把函數式語言和函數式風格(以函數為主要表達形式和計算方式)混淆了。沒錯，函數式風格更傾向于使用遞歸而不是循環。但這并不阻礙著函數式語言里使用循環結構。

關鍵還在于，很多命令式語言里支持函數式編程風格。換句話說，它不是函數式編程語言的專利(盡管它們更適合)。我們應該清楚的區分這兩個概念，從而避免對函數式編程語言和命令式編程語言之間的不同產生混淆。

問題是有些人并不喜歡函數式風格。例如，我更喜歡使用循環(比如上面的sum()例子里)，因為這樣更加清晰，好理解。但是，對于有些東西(例如遍歷一個列表)，我認為用遞歸更好。這是我的風格。。問題是，人們通常會認為，那些具有命令式編程習慣的人應該完全的轉換成函數式編程語言風格。但事實上不需要這樣。一些主流的函數式編程語言故意給命令式編程制造障礙。如果事情能變的簡單點，人們會慢慢的轉變他們的編程習慣，而不需要形式上的強迫…

你對此有想法嗎？

[本文英文原文鏈接：A Misconception of Functional Programming? ]

載自: 外刊IT評論 http://www.aqee.net/