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

来源: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
  • PasteSpider是什麼? 一款使用.net編寫的開源的Linux容器部署助手,支持一鍵發佈,平滑升級,自動伸縮, Key-Value配置,項目網關,環境隔離,運行報表,差量升級,私有倉庫,集群部署,版本管理等! 30分鐘上手,讓開發也可以很容易的學會在linux上部署你得項目! [從需求角度介 ...
  • SQLSugar是什麼 **1. 輕量級ORM框架,專為.NET CORE開發人員設計,它提供了簡單、高效的方式來處理資料庫操作,使開發人員能夠更輕鬆地與資料庫進行交互 2. 簡化資料庫操作和數據訪問,允許開發人員在C#代碼中直接操作資料庫,而不需要編寫複雜的SQL語句 3. 支持多種資料庫,包括但 ...
  • 在C#中,經常會有一些耗時較長的CPU密集型運算,因為如果直接在UI線程執行這樣的運算就會出現UI不響應的問題。解決這類問題的主要途徑是使用多線程,啟動一個後臺線程,把運算操作放在這個後臺線程中完成。但是原生介面的線程操作有一些難度,如果要更進一步的去完成線程間的通訊就會難上加難。 因此,.NET類 ...
  • 一:背景 1. 講故事 前些天有位朋友在微信上丟了一個崩潰的dump給我,讓我幫忙看下為什麼出現了崩潰,在 Windows 的事件查看器上顯示的是經典的 訪問違例 ,即 c0000005 錯誤碼,不管怎麼說有dump就可以上windbg開幹了。 二:WinDbg 分析 1. 程式為誰崩潰了 在 Wi ...
  • CSharpe中的IO+NPOI+序列化 文件文件夾操作 學習一下常見的文件、文件夾的操作。 什麼是IO流? I:就是input O:就是output,故稱:輸入輸出流 將數據讀入記憶體或者記憶體輸出的過程。 常見的IO流操作,一般說的是[記憶體]與[磁碟]之間的輸入輸出。 作用 持久化數據,保證數據不再 ...
  • C#.NET與JAVA互通之MD5哈希V2024 配套視頻: 要點: 1.計算MD5時,SDK自帶的計算哈希(ComputeHash)方法,輸入輸出參數都是byte數組。就涉及到字元串轉byte數組轉換時,編碼選擇的問題。 2.輸入參數,字元串轉byte數組時,編碼雙方要統一,一般為:UTF-8。 ...
  • CodeWF.EventBus,一款靈活的事件匯流排庫,實現模塊間解耦通信。支持多種.NET項目類型,如WPF、WinForms、ASP.NET Core等。採用簡潔設計,輕鬆實現事件的發佈與訂閱。通過有序的消息處理,確保事件得到妥善處理。簡化您的代碼,提升系統可維護性。 ...
  • 一、基本的.NET框架概念 .NET框架是一個由微軟開發的軟體開發平臺,它提供了一個運行時環境(CLR - Common Language Runtime)和一套豐富的類庫(FCL - Framework Class Library)。CLR負責管理代碼的執行,而FCL則提供了大量預先編寫好的代碼, ...
  • 本章將和大家分享在ASP.NET Core中如何使用高級客戶端NEST來操作我們的Elasticsearch。 NEST是一個高級別的Elasticsearch .NET客戶端,它仍然非常接近原始Elasticsearch API的映射。所有的請求和響應都是通過類型來暴露的,這使得它非常適合快速上手 ...
  • 參考delphi的代碼更改為C# Delphi 檢測密碼強度 規則(仿 google) 仿 google 評分規則 一、密碼長度: 5 分: 小於等於 4 個字元 10 分: 5 到 7 字元 25 分: 大於等於 8 個字元 二、字母: 0 分: 沒有字母 10 分: 全都是小(大)寫字母 20 ...