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