編程與類型系統讀後總結與感想

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

本文作者通過分析微服務的常見優點能解決的問題,提出如何使用單體應用來緩解這些問題,最終指出採用微服務還是單體架構要根據團隊實際情況,而不是為了微服務而微服務。作者最後給出建議,中小團隊和新型團隊,建議採用單體架構,大中型團隊,可以採用微服務架構,但要充分權衡。 在 Web 軟體架構方面,微服務... ...


1. 基本信息

編程與類型系統 Programming With Types:Examples in TypeScript

[美] 弗拉德·裡斯庫迪亞(Vlad Riscutia) 著,趙利通 譯

機械工業出版社,2021年1月出版

1.1. 讀薄率

書籍【真實】字數17.5萬字,筆記總字數19299字。

讀薄率19299÷175000≈11.03%

較之C#代碼整潔之道高出不少,主要原因有兩方面:

  1. 統計口徑差異,版權頁上沒有書籍總字數,採用的是真實字數,這個數值較低。分母變小。
  2. 筆記數量翻倍,這是實打實地,從另一個側面也說明瞭這本書內容更扎實。分子變大。

結果,讀薄率陡增。

1.2. 讀厚方向

  1. 函數式編程思維

  2. Java 8函數式編程

  3. Functional C#

  4. Functional Programming in C#

  5. Learning Java Functional Programming

1.3. 筆記--章節對應關係

筆記和章節一一對應,沒有合併同類項,也沒有章節調序,僅僅是每個章節內部進行了部分調序,就不一一列舉了。

2. 亮點

2.1. 開拓視野

  1. 提供了觀察其他語言的視角,尤其是TypeScript語言。

  2. 引入了抽象代數、柯里–霍華德(Curry-Howard)對應、範疇論、函子、單子等數學概念。

  3. 對混入Mixin和可變性做了較詳細的介紹。

2.2. 豐富、細緻的類型介紹

不論類型是否常見,講其然,也講其所以然。

個人覺得比較重要的類型如下:

  1. 空類型

  2. 單元類型

  3. 可選類型

  4. 和類型

  5. Either類型

  6. 變體類型

2.3. unicode構成

  1. 字元(character)

  2. 字形(glyph)

  3. 書寫位(grapheme)

3. 感想

3.1. 經典永流傳

好的電腦書籍是可以超脫語言和版本升級的影響而歷久彌新的。

3.2. 讓子彈飛一會也不是太好

做完讀書筆記,不會立刻寫總結和感想,而是讓子彈飛一會,沉澱一周左右才總結,此時留下的才是自己覺得重要的。

在《C#代碼整潔之道》和《編程與類型系統》之間還沒有什麼問題,也沒有衝突。

但是在《編程與類型系統》和《函數式編程思維》,也就是擴展閱讀的書籍之間,強關聯了,原來覺得重要的點,也就被沖淡了。

原來亮點的地方,現在看來也就是函數式編程的基本知識點了。

3.3. 作者選擇TypeScript作為示例語言是有考量的

高級章節中無法示例的代碼,Haskell可以,但是如果選擇Haskell作為示例語言,受眾受限。

Java、C#用戶眾多,但是類型系統沒有TypeScript豐富,而且TypeScript作為JavaScript的升級,用戶也可以說是眾多。

選擇TypeScript除了高級類型無法示例外,大部分都能示例,而且語法層面上也是能接受的。

3.4. 讀好書、好讀書、讀好多書

以一本書為原點,朝著一個方向去選擇、讀取經典書籍,收穫頗豐。

有些書,講得雲里霧裡的東西,能夠豁然開朗,敞亮了。

3.5. 如何讀原文

  1. 如果為了學習TypeScript語言,這本書不算太好。

  2. 如果是為了瞭解類型系統(不僅僅是TypeScript語言的),則推薦閱讀。

大部分編程語言的語法書都是簡要的介紹數據類型,知其然,不知其所以然;告訴你怎麼用,不告訴你為什麼這樣用,而這本書恰恰解答了為什麼。


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

-Advertisement-
Play Games
更多相關文章
  • 2023-01-24 一、幫助命令 1、基本語法 man[命令或配置文件] 功能描述:獲得幫助信息 2、顯示說明 (1)NAME:命令的名稱和單行描述 (2)SYNOPSIS:怎樣使用命令 (3)DESCRIPTION:命令功能的深入討論 (4)EXAMPLES:怎樣使用命令的例子 (5)SEE A ...
  • 這篇文章主要關註服務發現,會討論基於DNS、VIP、ZooKeeper以及消息匯流排的服務發現機制,研究出在服務發現需要AP還是CP。 ...
  • 測試網站是本人學校,費話不多說下麵開始 首先直接導庫,過程中需要時間戳,rsa加密 import requests import re import time from Crypto.PublicKey import RSA from Crypto.Cipher import PKCS1_v1_5 ...
  • 2023-01-24 一、NoSQL資料庫 1、NoSQL資料庫的簡介 NoSQL(NoSQL=Not Only SQL),即“不僅僅是SQL”,泛指非關係型的資料庫。NosQL不依賴業務邏輯方式存儲,而以簡單的key-value模式存儲。因此大大的增加了資料庫的擴展能力。 (1)不遵循SQL標準 ...
  • 1、首先是adb版本需要新的,老的adb不支持無線連接,如:“adb pair 192.168.3.x:xxxxx”不支持pair這個參數,這個參數表示驗證配對碼!!!新的adb才支持。 無法識別pair參數 2、支持無線調試的手機需要和用於調試的電腦在同一個區域網下。 3、通過adb連接: 【1】 ...
  • JavaScript 中有兩種類型轉換:隱式類型轉換和顯式類型轉換。 隱式類型轉換指 JavaScript 在運行時自動將一種類型轉換為另一種類型。例如,在數學運算中,JavaScript 會將字元串轉換為數字。 顯式類型轉換指在代碼中使用內置函數或全局對象將一種類型顯式地轉換為另一種類型。例如,使 ...
  • JavaScript 中有多種方法可以實現數組去重,下麵是幾種常用的方法: 1、使用 Set 去重:Set 數據結構中不能有重覆元素,可以將數組轉成 Set 類型,再轉回數組。 let arr = [1,2,3,4,5,6,2,3,4]; let uniqueArr = [...new Set(ar ...
  • 前言 為何要學習代碼?為何要學習這個代碼?怎麼學習這個代碼?可不可以學習這個代碼? 能做什麼,有什麼目標? ​ 基本的手機應用、簡單的PC游戲應用、大數據平臺;目標是以愛好為基準做一些游戲和程式; 與Python優缺幾何? ​ 入門難度有區別;一個更面向程式員群體一個則面向費程式員群體;各有優缺; ...
一周排行
    -Advertisement-
    Play Games
  • 在本篇教程中,我們學習瞭如何使用 Taurus.MVC WebMVC 框架創建一個簡單的頁面。 我們創建了一個控制器並編寫了一個用於呈現頁面的方法,然後創建了對應的視圖,並最終成功運行了應用程式。 在下一篇教程中,我們將繼續探索 Taurus.MVC WebMVC 框架的更多功能和用法。 ...
  • 一:背景 1. 講故事 很多.NET開發者在學習高級調試的時候,使用sos的命令輸出會發現這裡也看不懂那裡也看不懂,比如截圖中的這位朋友。 .NET高級調試屬於一個偏冷門的領域,國內可觀測的資料比較少,所以很多東西需要你自己去探究源代碼,然後用各種調試工具去驗證,相關源代碼如下: coreclr: ...
  • 我一直都以為c中除以2的n次方可以使用右移n位代替,然而在實際調試中發現並不都是這樣的。是在計算餘數是發現了異常 被除數:114325068 右移15計算結果:3488 除法取整計算結果:3489 右移操作計算餘數:33772 除法取整計算餘數:1005 顯然:這是不一樣的。 移位操作是一條cpu指 ...
  • 在上一篇文章中,我們介紹了ReentrantLock類的一些基本用法,今天我們重點來介紹一下ReentrantLock其它的常用方法,以便對ReentrantLock類的使用有更深入的理解。 ...
  • Excelize 是 Go 語言編寫的用於操作電子錶格辦公文檔的開源基礎庫,2024年2月26日,社區正式發佈了 2.8.1 版本,該版本包含了多項新增功能、錯誤修複和相容性提升優化。 ...
  • 雲採用框架(Cloud Adoption Framework,簡稱CAF)為企業上雲提供策略和技術的指導原則和最佳實踐,幫助企業上好雲、用好雲、管好雲,併成功實現業務目標。本雲採用框架是基於服務大量企業客戶的經驗總結,將企業雲採用分為四個階段,並詳細探討企業應在每個階段採取的業務和技術策略;同時,還 ...
  • 與TXT文本文件,PDF文件更加專業也更適合傳輸,常用於正式報告、簡歷、合同等場合。項目中如果有使用Java將TXT文本文件轉為PDF文件的需求,可以查看本文中介紹的免費實現方法。 免費Java PDF庫 本文介紹的方法需要用到Free Spire.PDF for Java,該免費庫支持多種操作、轉 ...
  • 指針和引用 當我們需要在程式中傳遞變數的地址時,可以使用指針或引用。它們都可以用來間接訪問變數,但它們之間有一些重要的區別。 指針是一個變數,它存儲另一個變數的地址。通過指針,我們可以訪問存儲在該地址中的變數。指針可以被重新分配,可以指向不同的變數,也可以為NULL。指針使用*運算符來訪問存儲在地址 ...
  • 即使再小再簡單的需求,作為研發開發完畢之後,我們可以直接上線麽?其實很多時候事故往往就是由於“不以為意”發生的。事故的發生往往也遵循“墨菲定律”,這就要求我們更要敬畏線上,再小的需求點都需要經過嚴格的測試驗證才能上線。 ...
  • 這裡給大家分享我在網上總結出來的一些知識,希望對大家有所幫助 一、是什麼 許可權是對特定資源的訪問許可,所謂許可權控制,也就是確保用戶只能訪問到被分配的資源 而前端許可權歸根結底是請求的發起權,請求的發起可能有下麵兩種形式觸發 頁面載入觸發 頁面上的按鈕點擊觸發 總的來說,所有的請求發起都觸發自前端路由或 ...