讀函數式編程思維筆記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
  • Timer是什麼 Timer 是一種用於創建定期粒度行為的機制。 與標準的 .NET System.Threading.Timer 類相似,Orleans 的 Timer 允許在一段時間後執行特定的操作,或者在特定的時間間隔內重覆執行操作。 它在分散式系統中具有重要作用,特別是在處理需要周期性執行的 ...
  • 前言 相信很多做WPF開發的小伙伴都遇到過表格類的需求,雖然現有的Grid控制項也能實現,但是使用起來的體驗感並不好,比如要實現一個Excel中的表格效果,估計你能想到的第一個方法就是套Border控制項,用這種方法你需要控制每個Border的邊框,並且在一堆Bordr中找到Grid.Row,Grid. ...
  • .NET C#程式啟動閃退,目錄導致的問題 這是第2次踩這個坑了,很小的編程細節,容易忽略,所以寫個博客,分享給大家。 1.第一次坑:是windows 系統把程式運行成服務,找不到配置文件,原因是以服務運行它的工作目錄是在C:\Windows\System32 2.本次坑:WPF桌面程式通過註冊表設 ...
  • 在分散式系統中,數據的持久化是至關重要的一環。 Orleans 7 引入了強大的持久化功能,使得在分散式環境下管理數據變得更加輕鬆和可靠。 本文將介紹什麼是 Orleans 7 的持久化,如何設置它以及相應的代碼示例。 什麼是 Orleans 7 的持久化? Orleans 7 的持久化是指將 Or ...
  • 前言 .NET Feature Management 是一個用於管理應用程式功能的庫,它可以幫助開發人員在應用程式中輕鬆地添加、移除和管理功能。使用 Feature Management,開發人員可以根據不同用戶、環境或其他條件來動態地控制應用程式中的功能。這使得開發人員可以更靈活地管理應用程式的功 ...
  • 在 WPF 應用程式中,拖放操作是實現用戶交互的重要組成部分。通過拖放操作,用戶可以輕鬆地將數據從一個位置移動到另一個位置,或者將控制項從一個容器移動到另一個容器。然而,WPF 中預設的拖放操作可能並不是那麼好用。為瞭解決這個問題,我們可以自定義一個 Panel 來實現更簡單的拖拽操作。 自定義 Pa ...
  • 在實際使用中,由於涉及到不同編程語言之間互相調用,導致C++ 中的OpenCV與C#中的OpenCvSharp 圖像數據在不同編程語言之間難以有效傳遞。在本文中我們將結合OpenCvSharp源碼實現原理,探究兩種數據之間的通信方式。 ...
  • 一、前言 這是一篇搭建許可權管理系統的系列文章。 隨著網路的發展,信息安全對應任何企業來說都越發的重要,而本系列文章將和大家一起一步一步搭建一個全新的許可權管理系統。 說明:由於搭建一個全新的項目過於繁瑣,所有作者將挑選核心代碼和核心思路進行分享。 二、技術選擇 三、開始設計 1、自主搭建vue前端和. ...
  • Csharper中的表達式樹 這節課來瞭解一下表示式樹是什麼? 在C#中,表達式樹是一種數據結構,它可以表示一些代碼塊,如Lambda表達式或查詢表達式。表達式樹使你能夠查看和操作數據,就像你可以查看和操作代碼一樣。它們通常用於創建動態查詢和解析表達式。 一、認識表達式樹 為什麼要這樣說?它和委托有 ...
  • 在使用Django等框架來操作MySQL時,實際上底層還是通過Python來操作的,首先需要安裝一個驅動程式,在Python3中,驅動程式有多種選擇,比如有pymysql以及mysqlclient等。使用pip命令安裝mysqlclient失敗應如何解決? 安裝的python版本說明 機器同時安裝了 ...