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

来源: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
  • 一:背景 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編譯器底層有初步瞭解。 ...