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

2023-02-14 12:02:12

本文翻譯自: Composition in Flutter & Dart

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

什麼是組合?

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

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

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

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

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

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

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

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

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

Flutter 中如何使用組合?

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

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

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

組合與管道

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

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

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

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

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

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

Example 範例

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

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

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

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

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

Snake case to Pascal case

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

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

Kebab case to other cases

Pascal case to other cases

想法

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

文中原始碼地址  GitHub

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

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

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