資訊專欄INFORMATION COLUMN
摘要：接受的第二個(gè)和第三個(gè)參數(shù)類型為，意思是需要傳入一個(gè)表達(dá)式，這個(gè)表達(dá)式的返回類型是。第行和第行的函數(shù)調(diào)用，第二個(gè)參數(shù)位置的表達(dá)式和函數(shù)都沒有即時(shí)求值，而是惰性求值。
我們先看下面這段簡單的JavaScript代碼。
我在第10行調(diào)用了函數(shù)f，其中傳入的第二個(gè)和第三個(gè)參數(shù)都是一個(gè)逗號(hào)表達(dá)式。
函數(shù)f的實(shí)現(xiàn)，會(huì)檢查這兩個(gè)參數(shù)的類型，如果是函數(shù)，則執(zhí)行函數(shù)調(diào)用，再打印其返回值，否則直接打印傳入的表達(dá)式的值。
執(zhí)行上面這段代碼，打印輸出如下：
我們可以看出，雖然傳入的第一個(gè)參數(shù)為true，導(dǎo)致函數(shù)f內(nèi)部只會(huì)打印第二個(gè)參數(shù)y代表的表達(dá)式的值，5，但是第三個(gè)參數(shù)代表的表達(dá)式在函數(shù)f調(diào)用時(shí)，也進(jìn)行了表達(dá)式求值，所以最后console也輸出了Big calculation2。
如果我們想實(shí)現(xiàn)所謂的“惰性求值”,有時(shí)候也稱”惰性計(jì)算“，那么只需要將原本寫在表達(dá)式位置的邏輯用一個(gè)JavaScript函數(shù)包裹起來，如下：
再次調(diào)用f，此時(shí)傳入的參數(shù)y和z的類型為函數(shù)，因此在f進(jìn)行調(diào)用時(shí)，同之前傳入的表達(dá)式不同，這里并不會(huì)即時(shí)調(diào)用y和z代表的函數(shù)。打印輸出：
我們?cè)賮砜纯碨cala關(guān)于表達(dá)式的處理是否和JavaScript一致。
Scala 是一門多范式（multi-paradigm）的編程語言，設(shè)計(jì)初衷是要集成面向?qū)ο缶幊毯秃瘮?shù)式編程的各種特性。
Scala 運(yùn)行在Java虛擬機(jī)上，并兼容現(xiàn)有的Java程序。
Scala 源代碼被編譯成Java字節(jié)碼，所以它可以運(yùn)行于JVM之上，并可以調(diào)用現(xiàn)有的Java類庫。
下圖第5行和第12行我分別定義了兩個(gè)Scala函數(shù)exp_test1和exp_test2, 邏輯和之前的JavaScript函數(shù)f類似。
exp_test1接受的第二個(gè)和第三個(gè)參數(shù)類型為exp1 :=> Unit，意思是需要傳入一個(gè)表達(dá)式，這個(gè)表達(dá)式的返回類型是Unit。
exp_test2接收的第二個(gè)和第三個(gè)參數(shù)類型為exp1() :=> Unit，意思是需要傳入一個(gè)函數(shù)，這個(gè)函數(shù)沒有任何輸入?yún)?shù)，函數(shù)的返回類型是Unit。
第19行到第25行是對(duì)這兩個(gè)函數(shù)的各種測試，打印輸出：
可以看到，即使傳入兩個(gè)函數(shù)exp_test1和exp_test2的第二個(gè)和第三個(gè)參數(shù)都是表達(dá)式，Scala也能做到對(duì)表達(dá)式的惰性求值：
第19行和第20行的函數(shù)調(diào)用，第三個(gè)參數(shù)位置的表達(dá)式和函數(shù)都沒有即時(shí)求值，而是惰性求值。
第22行和第23行的函數(shù)調(diào)用，第二個(gè)參數(shù)位置的表達(dá)式和函數(shù)都沒有即時(shí)求值，而是惰性求值。
這個(gè)小例子說明了不同的編程語言，對(duì)于函數(shù)調(diào)用的表達(dá)式求值方式可能采取了不同的實(shí)現(xiàn)：惰性求值或者即時(shí)求值。
要獲取更多Jerry的原創(chuàng)技術(shù)文章，請(qǐng)關(guān)注公眾號(hào)"汪子熙"或者掃描下面二維碼:
文章版權(quán)歸作者所有，未經(jīng)允許請(qǐng)勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請(qǐng)注明本文地址：http://m.specialneedsforspecialkids.com/yun/98616.html
摘要：提供了類型推導(dǎo)來解決這個(gè)問題。函數(shù)式語言里比較經(jīng)典的類型推導(dǎo)的方法是，并且它是在里首先使用的。的類型推導(dǎo)有一點(diǎn)點(diǎn)不同，不過思想上是一致的推導(dǎo)所有的約束條件，然后統(tǒng)一到一個(gè)類型上。而推導(dǎo)器是所有類型推導(dǎo)器的基礎(chǔ)。 Scala類型推導(dǎo) 之劍 2016.5.1 00:38:12 類型系統(tǒng) 什么是靜態(tài)類型？為什么它們很有用？ 根據(jù)Picrce的說法：類型系統(tǒng)是一個(gè)可以根據(jù)代碼段計(jì)算出來的值對(duì)...
摘要：編程語言將函數(shù)作為一等公民，函數(shù)可以被作為參數(shù)或者返回值傳遞，因?yàn)樗灰暈閷?duì)象。是表示已注釋接口是函數(shù)接口的注釋。如果一個(gè)函數(shù)有一個(gè)或多個(gè)參數(shù)并且有返回值呢為了解決這個(gè)問題，提供了一系列通用函數(shù)接口，在包里。 【編者按】雖然 Java 深得大量開發(fā)者喜愛，但是對(duì)比其他現(xiàn)代編程語言，其語法確實(shí)略顯冗長。但是通過 Java8，直接利用 lambda 表達(dá)式就能編寫出既可讀又簡潔的代碼。作者...
摘要：為了控制壓測時(shí)的，則需要實(shí)現(xiàn)邏輯。則是獲取屬性并初始化客戶端客戶端配置則提供了設(shè)置泛化調(diào)用入?yún)⒌囊约敖酉聛硪榻B的部分的全鏈路壓測中，我們都使用校驗(yàn)請(qǐng)求結(jié)果，壓測插件中，我們也實(shí)現(xiàn)了基于的校驗(yàn)。 Dubbo 壓測插件已開源，本文涉及代碼詳見gatling-dubbo Gatling 是一個(gè)開源的基于 Scala、Akka、Netty 實(shí)現(xiàn)的高性能壓測框架，較之其他基于線程實(shí)現(xiàn)的壓測框架...
摘要：為了控制壓測時(shí)的，則需要實(shí)現(xiàn)邏輯。則是獲取屬性并初始化客戶端客戶端配置則提供了設(shè)置泛化調(diào)用入?yún)⒌囊约敖酉聛硪榻B的部分的全鏈路壓測中，我們都使用校驗(yàn)請(qǐng)求結(jié)果，壓測插件中，我們也實(shí)現(xiàn)了基于的校驗(yàn)。 Dubbo 壓測插件已開源，本文涉及代碼詳見gatling-dubbo Gatling 是一個(gè)開源的基于 Scala、Akka、Netty 實(shí)現(xiàn)的高性能壓測框架，較之其他基于線程實(shí)現(xiàn)的壓測框架...
摘要：函數(shù)式編程與面向?qū)ο缶幊瘫磉_(dá)式函數(shù)柯里化高階函數(shù)之劍什么是表達(dá)式例子定義表達(dá)式是一個(gè)匿名函數(shù)，表達(dá)式基于數(shù)學(xué)中的演算得名，直接對(duì)應(yīng)于其中的抽象，是一個(gè)匿名函數(shù)，即沒有函數(shù)名的函數(shù)。 函數(shù)式編程與面向?qū)ο缶幊蘙1]: Lambda表達(dá)式 函數(shù)柯里化 高階函數(shù).md 之劍 2016.5.2 11:19:09 什么是lambda表達(dá)式 例子 For example, in Lisp the...
閱讀 2613·2021-11-02 14:39
閱讀 4338·2021-10-11 10:58
閱讀 1465·2021-09-06 15:12
閱讀 1850·2021-09-01 10:49
閱讀 1334·2019-08-29 18:31
閱讀 1889·2019-08-29 16:10
閱讀 3343·2019-08-28 18:21
閱讀 877·2019-08-26 10:42
