讀函數式編程思維筆記04_語言與範式_模式與重用

来源:https://www.cnblogs.com/lying7/archive/2023/01/23/17064904.html
-Advertisement-
Play Games

一群高智商青年在餐廳吃飯,餐桌上一個瓶蓋標識為鹽的瓶子里裝得是胡椒粉,而標識為胡椒粉的瓶子里裝得卻是鹽,他們想出了一個充滿才氣的方案來完成對調--僅需要一張餐巾紙、一根吸管和兩個空碟子。當他們叫來服務員,準備炫耀他們的天才想法時,只見服務員什麼也沒說,只是拿起鹽瓶和胡椒粉瓶,互換了瓶蓋…… 在我們... ...


1. 語言的分類

1.1. 靜態類型

1.1.1. 要求我們事先指定變數和函數的類型

1.2. 動態類型

1.2.1. 允許推遲指定類型

1.3. 強類型

1.3.1. 變數“知道”自己的類型

1.3.1.1. 允許反射和對實例作類型測試,且一直保有自身的類型信息

1.4. 弱類型

1.4.1. 語言相對不瞭解變數所指向的內容

2. 多範式

2.1. 面向對象

2.2. 元編程

2.2.1. 可用於在語言及其核心庫上添加額外的特性

2.3. 函數式

2.3.1. 函數式編程不喜歡把結構耦合在一起,它依靠零件之間的複合來組織抽象,以達到減少不確定因素的目的

2.3.2. 通過複合(composition)而不是耦合(coupling)來達到代碼重用的目的

2.4. 命令式

3. 多範式語言的後顧之憂

3.1. 要求開發者更註重紀律,才能駕馭好大型的項目

3.1.1. 依靠工程紀律來保證所有的開發者都朝著同一個方向努力,是解決協調問題的一種途徑

3.2. 單元測試為開發者精確地理解經元編程實現的複雜擴展提供了方便

3.3. 消費者驅動的契約(consumer-driven contract)

3.3.1. 由一項集成工作的實施方與各組件供應方共同商定的一組測試

4. 正交(orthogonality)

4.1. 數學上把兩個互相垂直的向量稱作正交的,也就是說這兩個量不相關

4.2. 在電腦科學里,兩個組件如果互相沒有任何影響(或副作用),就可以稱作是正交的

5. Groovy語言

5.1. 函數式編程和元編程是正交的

5.2. 使用元編程並不妨礙我們使用函數式編程的語言構造

5.2.1. 可以獲得更充分地實踐函數式的代碼風格

5.2.2. 可以用來增強第三方的函數式庫

5.2.2.1. 擁有了無縫添加新方法的能力

5.3. 利用元編程在數據類型之間建立映射

5.3.1. 開發者們一般只會考慮使用元編程來編寫自己的代碼,很少會想到用它來改造別人的代碼

6. 複合型(composable)抽象

6.1. Unix shell

6.1.1. 在shell命令行里,各種互相獨立、五花八門的行為可以串聯在一起創造出新的事物

6.2. Rake構建語言,可以用在各種公私項目上(幾乎不受項目本身技術選型的限制)

6.3. Gradle

6.3.1. Groovy語言的一種內部DSL,複合能力好於插件式設計的Maven

6.4. 不約而同地選擇了DSL的形式

6.5. 傾向於使用一些細粒度的部件來組成整體,且這些部件都已準備好以特定方式相連接

6.6. 較少隱性的行為,較容易上手,但傾向於提供細粒度的構造單元,需經過一定過程才能發揮真正的實力

6.6.1. 設計得當的複合型系統應當在封裝的模塊內提供窄範圍的、局部的上下文

7. 上下文型(contextual)抽象

7.1. Maven是典型的上下文型工具

7.2. 基於插件的架構可以作為上下文型抽象的代表

7.2.1. 提供了更多扶持性的“腳手架”設施,更完善的預設行為,以及“腳手架”上承載的上下文智能

7.3. Dietzler的Access定律

7.3.1. 所有Access項目最後都會失敗,原因是,在用戶想要的功能里,有80%實現起來既迅速又簡單,還有10%能實現但較困難,而最後的10%是辦不到的,因為不可能足夠深地突破內建抽象去訪問底層。可是,用戶總想100%地滿足需求。

7.3.1.1. 4GL語言最終丟掉了市場

8. 在函數式編程中傳統設計模式的三種歸宿

8.1. 模式已被吸收成為語言的一部分

8.2. 模式中描述的解決辦法在函數式範式下依然成立,但實現細節有所變化

8.3. 由於在新的語言或範式下獲得了原本沒有的能力,產生了新的解決方案

8.3.1. 很多問題都可以用元編程乾凈利落地解決,但Java沒有元編程能力可用

8.4. 設計模式的存在意義就是彌補語言功能上的弱點

9. 函數級別的重用

9.1. 複合(composition)

9.1.1. 通過參數來傳遞作為第一等語言成分的函數

9.2. 函數式語言的重用發生於較粗的粒度級別上,著眼於提取一些共通的運作機制,並參數化地調整其行為

9.2.1. 定義各類型“物件”之間“態射”(morphism)關係的數學分支——範疇論為基礎,希望從代碼中抽取另一種粗粒度的脈絡而加以重用

9.2.2. 不追求復現結構之間經典的(耦合)關係

9.2.3. 建立在列表的概念,以及可以連同執行上下文一起傳遞的代碼塊的概念之上

9.3. 以模式為載體的重用是細粒度的:一種解答方案(如Flyweight模式)與另一種解答方案(如Memento模式)之間,是井水不犯河水的“正交”關係

9.3.1. 模式和問題之間這種狹窄的對應關係又限制了它的適用面

10. Command模式

10.1. 當語言擁有了閉包特性,就不需要了

11. Factory模式

11.1. 柯里化相當於產出函數的工廠

11.2. 柯里化可以把通用的函數改造成專用的函數

12. Strategy模式

12.1. 定義一個演算法族,並將每一種演算法都在相同的介面下封裝起來,令同一族的演算法能夠互換使用

12.2. 好處是演算法的變化不影響使用方,也不受使用方的影響

13. Singleton模式

13.1. 模式被運行時吸收掉的典型案例

14. Template Method模式

14.1. 一個方法裡面定義好演算法的骨架,但留下一部分未實現的步驟,強迫子類按照規定好的演算法結構來補全缺失的步驟定義

14.2. 抽象方法的定義相當於一種特殊形式的文檔,提醒子類將指定的方法納入考慮

15. 被語言或運行時吸收掉的模式

16. Flyweight模式

16.1. 種在大量的細粒度對象引用之間共用數據的優化技巧。我們維護一個對象池,然後引用池中的對象來構成需要的視圖

16.2. 非常簡單的函數式實現

16.3. 記憶

16.4. 模式保留了原來的語義,但實現發生了變化


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 2023-01-22 一、SpringMVC攔截器的兩種裝配方式 1、全局裝配(放置在springmvc.xml中) <!-- 裝配攔截器--> <!-- 全局裝配--> <mvc:interceptors> <ref bean="myInterceptor"></ref> </mvc:interc ...
  • 題目描述 牛牛從鍵盤上輸入三個整數,並嘗試在屏幕上顯示第二個整數。 輸入描述 一行輸入 3 個整數,用空格隔開。 輸出描述 請輸出第二個整數的值。 示例 1 輸入:1 2 3 輸出:2 解題思路 方案一 使用 3 個整形變數依次存儲輸入的 3 個整數,然後將第二個整形變數的數據輸出。 具體代碼如下: ...
  • 是否有小伙伴在使用tab的時候想進行滑動切換Tab? 並且有滑動左出左進,右出右進的效果 ,本文將講解怎麼在Blazor中去通過滑動切換Tab 本文中的UI組件使用的是MASA Blazor,您也可以是其他的UI框架,這個並不影響實際的運行效果,本文案例是相容PC和Android的,演示效果是and ...
  • eunomia-bpf 0.3.0 發佈:只需編寫內核態代碼,輕鬆構建、打包、發佈完整的 eBPF 應用 eunomia-bpf 簡介 eBPF 源於 BPF,本質上是處於內核中的一個高效與靈活的虛擬機組件,以一種安全的方式在許多內核 hook 點執行位元組碼,開發者可基於 eBPF 開發性能分析工具 ...
  • 寫在前面 在開發的過程中,大多數人都需要對代碼進行測試。目前對於c/c++項目,可以採用google的gtest框架,除此之外在github上搜索之後可以發現很多其他類似功能的項目。但把別人的輪子直接拿來用,終究比不過自己造一個同樣功能的輪子更有成就感。作為“linux環境編程”系列文章的第一篇,本 ...
  • ##視圖 ###什麼是視圖 視圖是一張虛表(建立在真實的table的基礎之上,即視圖的數據來源是對應的table). 首先需要創建一張表,在表的基礎上,指定的列映射成一個視圖. 就是一個SELECT查詢語句(過濾掉安全隱患列的數據),把它查到的數據作為視圖的數據進行映射 ###視圖的語法 ####視 ...
  • JavaScript 中的繼承可以通過多種方式來實現,如原型鏈繼承、借用構造函數繼承、組合繼承、ES6 Class繼承等。 ...
  • 本文作者通過分析微服務的常見優點能解決的問題,提出如何使用單體應用來緩解這些問題,最終指出採用微服務還是單體架構要根據團隊實際情況,而不是為了微服務而微服務。作者最後給出建議,中小團隊和新型團隊,建議採用單體架構,大中型團隊,可以採用微服務架構,但要充分權衡。 在 Web 軟體架構方面,微服務... ...
一周排行
    -Advertisement-
    Play Games
  • 一:背景 1. 講故事 年前遇到了好幾例托管堆被損壞的案例,有些運氣好一些,從被破壞的托管堆記憶體現場能觀測出大概是什麼問題,但更多的情況下是無法做出準確判斷的,原因就在於生成的dump是第二現場,借用之前文章的一張圖,大家可以理解一下。 為了幫助更多受此問題困擾的朋友,這篇來整理一下如何 快狠準 的 ...
  • 前言 .NET6 開始,.NET Croe API 項目取消了 Startup.cs 文件,在 Program.cs 文件的 Main 函數中完成服務的註冊和中間件管道的管理。但當我們項目引入更多包的時候,Program.cs 文件也會看起來很臃腫。 而且,我們不只會有一個後端項目,為了方便快速創建 ...
  • 目錄 背景 get 與 post 的區別 所有介面都用 post 請求? 背景 最近在逛知乎的時候發現一個有趣的問題:公司規定所有介面都用 post 請求,這是為什麼? 看到這個問題的時候其實我也挺有感觸的,因為我也曾經這樣問過我自己。在上上一家公司的時候接到一個項目是從零開始搭建一個微服務,當時就 ...
  • *以下內容為本人的學習筆記,如需要轉載,請聲明原文鏈接 微信公眾號「englyf」https://mp.weixin.qq.com/s/2GFLTstDC7w6u3fTJxflNA 本文大概 1685 個字,閱讀需花 6 分鐘內容不多, 但也花了一些精力如要交流, 歡迎關註我然後評論區留言 謝謝你的 ...
  • 在新版本的pandas中,上述代碼會引起警告,建議改成SQLAlchemy connectable(engine/connection),後續代碼將引入這種升級的連接方式。 ...
  • 幾乎所有的高級編程語言都有自己的垃圾回收機制,開發者不需要關註記憶體的申請與釋放,Python 也不例外。Python 官方團隊的文章 https://devguide.python.org/internals/garbage-collector 詳細介紹了 Python 中的垃圾回收演算法,本文是這篇 ...
  • 如果您想查找高於或低於平均值的數字,可以不必計算該平均值,就能查看更高或更低的值。通過Java應用程式,可以自動突出顯示這些數字。除了快速突出顯示高於或低於平均值的值外,您還可以查看高於或低於的值的個數。現在讓我們看看如何在 Java應用程式中實現此操作。 引入jar包 導入方法1: 手動引入。將  ...
  • 第一種方式:使用{} firstDict = {"name": "wang yuan wai ", "age" : 25} 說明:{}為創建一個空的字典對象 第二種方式:使用fromkeys()方法 second_dict = dict.fromkeys(("name", "age")) #valu ...
  • 在golang中可以使用a := b這種方式將b賦值給a,只有當b能進行深拷貝時a與b才不會互相影響,否則就需要進行更為複雜的深拷貝。 下麵就是Go賦值操作的一個說明: Go語言中所有賦值操作都是值傳遞,如果結構中不含指針,則直接賦值就是深度拷貝;如果結構中含有指針(包括自定義指針,以及切片,map ...
  • 本文結合京東監控埋點場景,對解決樣板代碼的技術選型方案進行分析,給出最終解決方案後,結合理論和實踐進一步展開。通過關註文中的技術分析過程和技術場景,讀者可收穫一種樣板代碼思想過程和解決思路,並對Java編譯器底層有初步瞭解。 ...