摘要：但是，最好使用差異化的類型定義，函數(shù)簽名如下其實二者說的是同一件事。后者的返回值和初始函數(shù)的返回值相同，即。破壞式更新和函數(shù)式更新的比較三的延遲計算的設(shè)計者們在將引入時采取了比較特殊的方式。四匹配模式語言中暫時并未提供這一特性，略。
一、無處不在的函數(shù)
一等函數(shù)：能夠像普通變量一樣使用的函數(shù)稱為一等函數(shù)（first-class function）
通過::操作符，你可以創(chuàng)建一個方法引用，像使用函數(shù)值一樣使用方法，也能使用Lambda表達(dá)式（比如，(int x) -> x + 1）直接表示方法的值。
Function strToInt = Integer::parseInt;
1.高階函數(shù)
能滿足下面任一要求就可以被稱為高階函數(shù)（higher-order function）：
接受至少一個函數(shù)作為參數(shù)
返回的結(jié)果是一個函數(shù)
Java 8中，函數(shù)不僅可以作為參數(shù)傳遞，還可以作為結(jié)果返回，能賦值給本地變量，也可以插入到某個數(shù)據(jù)結(jié)構(gòu)。比如，一個計算口袋的程序可能有這樣的一個Map>。
用不同的方式實現(xiàn)類型定義，如下所示：
Function, Function>
我們把它定義成Function類型（最左邊的Function），目的是想顯式地向你確認(rèn)可以將這個函數(shù)傳遞給另一個函數(shù)。但是，最好使用差異化的類型定義，函數(shù)簽名如下：
Function differentiate(Function func)
其實二者說的是同一件事。
2.科里化
科里化的理論定義
科里化是一種將具備2個參數(shù)（比如，x和y）的函數(shù)f轉(zhuǎn)化為使用一個參數(shù)的函數(shù)g，并且這個函數(shù)的返回值也是一個函數(shù)，它會作為新函數(shù)的一個參數(shù)。后者的返回值和初始函數(shù)的返回值相同，即
f(x,y) = (g(x))(y)。
ps：通俗點，就是把接受多個參數(shù)的函數(shù)變換成接受一個單一參數(shù)的函數(shù)，并且返回（接受余下參數(shù)而且返回結(jié)果的）新函數(shù)的技術(shù)當(dāng)然，我們可以由此推出：你可以將一個使用了6個參數(shù)的函數(shù)科里化成一個接受第2、4、6號參數(shù)，并返回一個接受5號參數(shù)的函數(shù)，這個函數(shù)又返回一個接受剩下的第1號和第3號參數(shù)的函數(shù)。一個函數(shù)使用所有參數(shù)僅有部分被傳遞時，通常我們說這個函數(shù)是部分應(yīng)用的（partially applied）。
二、持久化數(shù)據(jù)結(jié)構(gòu)
應(yīng)該注意的第一件事是，函數(shù)式方法不允許修改任何全局?jǐn)?shù)據(jù)結(jié)構(gòu)或者任何作為參數(shù)傳入的參數(shù)。
1.破壞式更新和函數(shù)式更新的比較
三、Stream 的延遲計算
Java 8的設(shè)計者們在將Stream引入時采取了比較特殊的方式。其中一個比較顯著的局限是，你無法聲明一個遞歸的Stream，因為Stream僅能使用一次。
主要是利用Supplier，其他略。
四、匹配模式
Java 8語言中暫時并未提供這一特性，略。
文章版權(quán)歸作者所有，未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請注明本文地址：http://m.hztianpu.com/yun/74563.html
