函數語言程式設計:Flutter&Dart中的組合

碼裡特別有禪發表於2023-02-14

本文翻譯自: Composition in Flutter & Dart

在 Flutter & Dart 中使用組合建立模組化應用程式。

image.png

什麼是組合?

在dictionary.com 中 composition 的定義為:將部分或者元素組合成一個整體的行為。簡單說,組合就像堆樂高積木,我們可以將積木組合成一個結構。

在 FP 中,我們定義了一個簡單的通用函式,該函式可以透過組合構成一個複雜的函式,一個函式的輸出是另外一個函式的輸入,依此類推。輸入從一個函式傳遞到另外一個函式最後返回結果。因此,組合可以認為是資料流動的管道。

組合的數字符號是 f.g。 f(g(x))它從裡向外執行。

  1. 首先 x 初始化。
  2. 將 x 作為引數傳遞給 g,g(x)被初始化。
  3. g(x)被計算並將結果傳遞給 f 函式,最後 f(g(x))被計算。

在 Dart 中,組合函式可以表示如下:

image.png

Compose 是個高階函式,它接收兩個函式並返回一個可接收輸入的函式。 組合的執行順序是從右到左,因此g先執行,然後再執行f

image.png

如上圖建立了函式shout,它由兩個較小的功能函式toUpperexclaim組成。

第 4 行,組合這兩個函式建立shout函式.

第 8 行使用了包Dartz中提供的函式composeF

Flutter 中如何使用組合?

Flutter 框架是展示組合功能的最佳示例之一,我們組合控制元件來進行UI設計。比如你想設定 padding,可以用Padding來組合,你想設定一些裝飾,可以用DecoratedBox來進行組合等等。

Flutter 大量使用了組合。控制元件樹就是我們用組合處理 UI 的結果.控制元件就像樂高積木,小的通用控制元件可以被組合成複雜的控制元件或者使用者介面。比如,Container就包含了幾個控制元件,如PaddingDecoratedBoxAlignLimitedBox等。

這裡偏重介紹組合在實踐中應用讓讀者更深刻理解組合概念,本質上來說Flutter中的控制元件組合與函數語言程式設計中的組合還是有點區別,兩則程式設計正規化不一樣,Flutter 控制元件間組合偏重於物件導向程式設計,物件是基本單元,控制元件都是物件;而函式的組合偏重於函數語言程式設計,無狀態函式是基本單元。

組合與管道

與 compose 類似,這裡介紹另外一個概念:管道。兩者區別在於組合執行順序是從右到左,而管道執行順序是從左至右

這個區別尤為重要,不要忽視,它間接影響到程式碼可讀性。中國人的閱讀習慣是從左到右的,如果你是阿拉伯人可以忽略我說的,哈哈!

image.png

在第 14 行,使用了 compose,它的執行順序是從右至左,函式 g 首先執行,結果傳遞給 f 。

在第 17 行,使用了管道,它的執行順序是從左至右,函式 f 先執行,結果傳遞給 g 。

如果使用 compose,輸入 10 先執行increment 增加到 11 然後乘以 2,因此執行結果是 22.

如果使用管道,輸入 10 先執行doubler乘以 2 變成 20,然後執行increment遞增到 21 並返回。

Example 示例

結合所學的概念,我們可以建立幾個函式,實現字串的變換。

image.png

我們需要可以將上述用例相互轉換的函式。

就像樂高遊戲一樣,首先需要樂高積木,在這個例子中我們需要具有一些基礎功能的函式。

image.png

之前定義的 Compose 函式只接收兩個函式作為引數,現在定義一個可以接收 n 個引數的函式。

image.png

我們建立瞭如上程式碼,接下來可以用它來實現更有意思的函式,這些函式將被使用,透過Github 倉庫查詢更多資訊。

Snake case to Pascal case

接下來將從 Snake case 轉換成 camel,pascal 和 kebab cases。
image.png

const _pascalCase = 'LoremIpsumDolorSitAmet';

const _snakeCase = 'lorem_ipsum_dolor_sit_amet';

在第 5 行中,定義了_snakeToPascal  函式,它接收一個引數並返回結果。_snakeToPascal由三個小函式組合而成:splitWithUnderscorecapitalizeWords和  joinWithoutSpace 。將“lorem_ipsum_dolor_sit_amet”作為引數傳入函式中,compose 是從右至左的執行順序。因此:

  1. 首先輸入字串先傳給splitWithUnderscore,該函式將輸入拆分成 [“lorem”, “ipsum”, “dolor”, “sit”, “amet”]

  2. splitWithUnderscore的返回值是一個陣列,它將被傳遞給第二個函式,即capitalizeWords將每個元素的首字母轉換成大寫並返回列表 [“Lorem”, “Ipsum”, “Dolor”, “Sit”, “Amet”]

  3. capitalizeWords的返回結果將被傳遞給  joinWithoutSpace,該函式將元素連線在一起並返回結果 “LoremIpsumDolorSitAmet”

還記得我們之前講的麼? 我們透過組合為資料定義一個管道,像上面這樣。資料流透過這些管道並返回結果,花些時間來構建一些基礎功能函式,組合他們生成更有意義的函式就變得很容易了。

Snake case to Camel case

const _snakeCase = 'lorem_ipsum_dolor_sit_amet';

const _camelCase = 'loremIpsumDolorSitAmet';

第 15 行_snakeToCamel非常簡單,第一個與最後一個函式都是與上面轉換都是相同的:splitWithUnderscore  和  joinWithoutSpace,將中間函式從capitalizeWords  修改為  capitalizeTail,我們的功能就實現了。原因是 camelCase 的情況下不需要將第一個單詞大寫。capitalizeTailcapitalizeWords類似,但是它忽略了第一個單詞處理,匹配了我們的用例。

Snake case to Kebab case

Snake case 轉換成 kebab case 更簡單.只需要組合兩個函式 (splitWithUnderscore & joinWithHyphen),就可以完成任務。

Camel case to other cases

image.png

Kebab case to other cases

image.png

Pascal case to other cases

image.png

想法

我喜歡將組合視為一種分治技術。組合的主要優點是得到高複用和可定製功能。

文中原始碼地址  GitHub

太棒了!鼓勵自己堅持到底。我希望我為你投入的時間增加了一些價值。

如果覺得文章對你有幫助,點贊、收藏、關注、評論,一鍵四連支援,你的支援就是我創作最大的動力。

❤️ 本文原創聽蟬 公眾號:碼裡特別有禪 歡迎關注原創技術文章第一時間推送 ❤️

相關文章