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