本文是函數式程式設計系列的第一篇文章。這裡我會簡單介紹一下程式設計範式,然後會直接介紹使用 Javascript 進行函數式程式設計的概念,因為 JavsScript 是最被認可的函數式程式語言之一。我們鼓勵讀者透過參考資料部分進一步了解這個迷人的概念。
程式設計範式是一個由思考問題以及實現問題願景的工具所組成的框架。很多現代語言都是聚範式(或多重範式): 他們支援很多不同的程式範式,像是物件導向,元程式設計,泛函,面向過程,等等。
函數式程式設計就像是氫燃料驅動的汽車-先進的未來派,但還沒有被廣泛推廣。與命令式程式設計相反,他由一系列語句組成,這些語句用於更新執行時的全域狀態。函數式程式設計將計算轉換作表達式求值。這些表達式全由純數學函數組成,這些函數都是一流的(可以被當做一般值來運用和處理),並且沒有副作用。
函數式程式設計很重視以下值:
我們應該將函數與程式語言中的其他類別物件同樣對待。換句話說,您可以將函數儲存在變數裡,動態建立函數,以及將函數傳回或將函數傳遞給其他函數。下面我們來看一個例子…
一個字串可以儲存為一個變量,函數也可以,例如:
var sayHello = function() { return “Hello” };
一個字串可以儲存為物件字段,函數也可以,例如:
var person = {message: “Hello”, sayHello: function() { return “Hello” }};
一個字串可以再用到時才創建,函數也可以,例如:
“Hello ” + (function() { return “World” })(); //=> Hello World
一個字串可以作為輸入參數傳給函數,則函數也可以:
function hellloWorld(hello, world) { return hello + world() }
一個字串可以作為函數傳回值,函數也可以,例如:
return “Hello”; return function() { return “Hello”};
如果函數將其他函數函數作為輸入參數或作為傳回值,則稱之為高階函數。剛才我們已經看過了一個高階函數的例子。下面,我們來看看更複雜的情況。
範例1:
[1, 2, 3].forEach(alert); // alert 弹窗显示“1" // alert 弹窗显示 "2" // alert 弹窗显示 "3”
範例2:
function splat(fun) { return function(array) { return fun.apply(null, array); }; } var addArrayElements = splat(function(x, y) { return x + y }); addArrayElements([1, 2]); //=> 3
最愛純函數
純函數不會有其他的副作用,所謂的副作用指的是函數所產生的函數外界狀態的修改。例如:
修改某個變數
修改資料結構
對外界某個變數設定欄位
拋出例外或彈出錯誤訊息
#最簡單的範例就是數學函數。 Math.sqrt(4) 函數總是傳回2。他不會用到任何其他心寒訊息,如狀態或設定參數。數學函數從來不會造成任何副作用。
函數式程式設計支持純粹的函數,這樣的函數不能改變數據,因此大多用於創建不可改變的數據。這種方式,不用修改一個已存在的資料結構,而且能高效的新建一個.
你也許想知道,如果一個純粹的函數通過改變一些本地數據而生產一個不可改變的返回值,是否是允許的?答案是可以。
在JavaScript中極少的資料型別是預設是不可改變的。 String是一個不能改變的資料類型的例子:
var s = "HelloWorld"; s.toUpperCase(); //=> "HELLOWORLD" s; //=> "HelloWorld"
• 避免混亂和增加程式的準確性:在複雜系統內,大多數難以理解的Bug是由於狀態透過在程式中外部客戶端程式碼修改而導致的。
• 確立「快速簡潔」的多執行緒程式設計:如果多執行緒可以修改同一個共享值,你不得不同步的取得值。這對專家來說都是十分乏味且易出錯的程式設計挑戰。
軟體事務記憶體和Actor模型提供了直接在線程安全方式下處理修改。
递归是最有名的函数式编程技术。如果您还不知道它的话,那么可以理解为递归函数就是一个可以调用自己的函数。
替代反复循环的最经典方式就是使用递归,即每次完成函数体操作之后,再继续执行集合里的下一项,直到满足结束条件。递归还天生符合某些算法实现,比如遍历树形结构(每个树枝都是一颗小树)。
在任何语言里,递归都是一项重要的函数式编程方式。很多函数语言甚至要求的更加严格:只支持递归遍历,而不支持显式的循环遍历。这需要语言必须保证消除了尾端调用,这是 JavasSrip 不支持的。
数学定义了很多无穷集合,比如自然数(所有的正整数)。他们都是符号表示。任意特定有限的子集都在需要时求值。我们将其称之为惰性求值(也叫做非严格求值,或者按需调用,延迟执行)。及早求值会强迫我们表示出所有无穷数据,而这显然是不可能的。
很多语言都默认是惰性的,有些也提供了惰性数据结构以表达无穷集合,并在需要时对自己进行精确计算。
很明显一行代码 result = compute() 所表达的是将 compute() 的返回结果赋值给 result。但是 result 的值究竟是多少只有其被用到的时候才有意义。
可见策略的选择会在很大程度上提高性能,特别是当用在链式处理或者数组处理的时候。这些都是函数式程序员所喜爱的编程技术。
这就开创可很多可能性,包括并发执行,并行技术以及合成。
但是,有一个问题,JavaScrip 并不对自身进行惰性求值。话虽如此,Javascript 里的函数库可以有效地模拟惰性求值。
所有的函数式语言都有闭包,然而这个语言特性经常被讨论得很神秘。闭包是一个函数,这个函数有着对内部引用的所有变量的隐式绑定。换句话说,该函数对它引用的变量封闭了一个上下文。JavaScript 中的闭包是能够访问父级作用域的函数,即使父级函数已经调用完毕。
function multiplier(factor) { return function(number) { return number * factor; }; } var twiceOf = multiplier(2); console.log(twiceOf(6)); //=> 12
函数式编程是声明式的,就像数学运算,属性和关系是定义好的。运行时知道怎么计算最终结果。阶乘函数的定义提供了一个例子:
factorial(n) = 1 if n = 1
n * factorial(n-1) if n > 1
该定义将 factorial(n) 的值关联到 factorial(n-1),是递归定义。特殊情况下的 factorial(1) 终止了递归。
var imperativeFactorial = function(n) { if(n == 1) { return 1 } else { product = 1; for(i = 1; i <= n; i++) { product *= i; } return product; } } var declarativeFactorial = function(n) { if(n == 1) { return 1 } else { return n * factorial(n - 1); } }
从它实现阶乘计算来看,声明式的阶乘可能看起来像“命令式”的,但它的结构更像声明式的。
命令式阶乘使用可变值、循环计数器和结果来累加计算后的结果。这个方法显式地实现了特定的算法。不像声明式版本,这种方法有许多可变步骤,导致它更难理解,也更难避免 bug 。
有很多函数式库:underscore.js, lodash,Fantasy Land, Functional.js, Bilby.js, fn.js, Wu.js, Lazy.js, Bacon.js, sloth.js, stream.js, Sugar, Folktale, RxJs 等等。
map(), filter(), 和 reduce()函数 构成了函数式程序员工具包的核心。 纯高阶函数成了函数式方法的主力。事实上,它们是纯函数和高阶函数应该仿效的典型。它们用一个函数作为输入,返回没有副作用的输出。
以上是詳細介紹使用JavaScript進行函數式程式設計 (一)(圖)的詳細內容。更多資訊請關注PHP中文網其他相關文章!