怎么理解函數(shù)式編程思維?
當(dāng)前位置:點(diǎn)晴教程→知識(shí)管理交流
→『 技術(shù)文檔交流 』
理解函數(shù)式編程要注重思維的轉(zhuǎn)變。函數(shù)式編程聚焦于簡(jiǎn)潔的高階函數(shù),高階函數(shù)注重封裝底層運(yùn)作原理來(lái)解決復(fù)雜的業(yè)務(wù)場(chǎng)景,比如 Scala、Groovy、Clojure 語(yǔ)言:
1. 靜態(tài)類型必須先指定變量和函數(shù)的類型,而動(dòng)態(tài)類型則允許推遲指定類型。強(qiáng)類型的變量“知道”自己的類型,允許反射和對(duì)實(shí)例作類型測(cè)試,且一直保有自身的類型信息。弱類型的語(yǔ)言相對(duì)不了解變量所指向的內(nèi)容。 2. 命令式告訴計(jì)算機(jī)執(zhí)行的步驟,一步一步告訴它怎么做。函數(shù)式更注重“做什么”本身,函數(shù)式編程是面向數(shù)學(xué)的抽象,函數(shù)式的代碼里只有函數(shù)和數(shù)據(jù)。 函數(shù)式編程提供以下幾個(gè)特性,讓開(kāi)發(fā)拋開(kāi)細(xì)節(jié),投入到更高的抽象工作中:
函數(shù)式語(yǔ)言的重用表現(xiàn)在函數(shù)的通用性上,它們鼓勵(lì)在數(shù)據(jù)結(jié)構(gòu)上使用各種共通的變換,并通過(guò)高階函數(shù)來(lái)調(diào)整操作以滿足具體事項(xiàng)的要求。比如函數(shù)式編程語(yǔ)言用一組關(guān)鍵數(shù)據(jù)結(jié)構(gòu)(如 list、 set、map)來(lái)搭配專為這些數(shù)據(jù)結(jié)構(gòu)深度優(yōu)化過(guò)的操作,基于這些關(guān)鍵數(shù)據(jù)結(jié)構(gòu)和操作組成的一套運(yùn)轉(zhuǎn)機(jī)構(gòu)上面,按需要“插入”另外的數(shù)據(jù)結(jié)構(gòu)和高階函數(shù)來(lái)調(diào)整機(jī)器來(lái)解決具體的問(wèn)題。再比如函數(shù)式編程語(yǔ)言提供了如 Either 類、Option 類來(lái)優(yōu)化異常處理問(wèn)題等。 在模式與重用方面,Java 提供了經(jīng)典的 23 種設(shè)計(jì)模式來(lái)解決復(fù)雜的業(yè)務(wù)問(wèn)題,函數(shù)式編程讓這些設(shè)計(jì)模式有了三種歸宿:
現(xiàn)實(shí)應(yīng)用方面,Java8 提供了基于 lamda 表達(dá)式的函數(shù)式編程,但 Java 非函數(shù)式編程語(yǔ)言,Java 將問(wèn)題域封裝在對(duì)象之內(nèi),并允許通過(guò)業(yè)務(wù)操作來(lái)改變對(duì)象的狀態(tài),完全與函數(shù)式編程“變量無(wú)狀態(tài)”的思想背道而馳。那么函數(shù)式編程能應(yīng)用于企業(yè)級(jí)需求解決方案嗎?從另一個(gè)角度來(lái)思考,Java 是面向?qū)ο蟮牡木幊陶Z(yǔ)言,領(lǐng)域驅(qū)動(dòng)設(shè)計(jì)(DDD)是面對(duì)企業(yè)級(jí)需求的解決方案,DDD 的戰(zhàn)術(shù)設(shè)計(jì)趨向于 CQRS 架構(gòu),而基于“變量不可變”的特性的函數(shù)式編程把 CQRS 架構(gòu)作為基礎(chǔ)設(shè)施,所以能把函數(shù)式編程視為企業(yè)級(jí)需求的解決方案嗎?很明顯不能,DDD注重模擬現(xiàn)實(shí)世界,函數(shù)式編程思維并沒(méi)有試圖模擬現(xiàn)實(shí)世界,所以無(wú)法滿足復(fù)雜的企業(yè)需求,函數(shù)式編程大處理大量數(shù)據(jù)方面比面向?qū)ο蠓绞礁哂行?,正解是?/span>面向?qū)ο缶幊淌墙鉀Q企業(yè)級(jí)需求的解決方案,解決過(guò)程中會(huì)產(chǎn)出大量的數(shù)據(jù)需求,可借力函數(shù)式編程。另外,《函數(shù)式編程思維》作者提到多范式語(yǔ)言組合才是趨勢(shì),這一點(diǎn)很認(rèn)同,未來(lái)語(yǔ)言必是混合的。編程語(yǔ)言是我們?cè)谟?jì)算機(jī)世界里解決問(wèn)題的工具,函數(shù)式更注重What,而命令式更注重How。對(duì)于解決問(wèn)題的能力,沒(méi)有高低強(qiáng)弱之分,只是角度和工具不同而已。 附《函數(shù)式編程思維》讀書(shū)筆記:
該文章在 2023/10/25 9:52:04 編輯過(guò) |
關(guān)鍵字查詢
相關(guān)文章
正在查詢... |