编程语言研究书库Copy Anchor Link

这个库收的是书——「为什么会演化成这样」和「原理的完整推导」。 每本书拆成一章一页的拆解笔记,左侧边栏按领域分组浏览。

系统语言Copy Anchor Link

• 开发者 Zig 编程实践 — >-
• Go 系统编程实践 — Mihalis Tsoukalos 用三条实战线(逐一重写经典 Unix 工具、从零造一门叫 SMALL 的解释器、建一个带 WAL 的分布式文件索引服务)把 Go 的系统编程能力从零讲到生产。全书最有保存价值的是两组数字和一条纪律:缓冲 I/O 与无缓冲读差距约 176 倍(pprof 证明时间几乎全耗在系统调用上)、弹性时间序列距离比线性度量慢 3000–6000 倍(benchmark 实测),以及贯穿全书的「先测量再优化、先结构后锁、先设计后写码」。
• Go 语言学习(第 2 版) — 一本面向初学者的 Go 语言教材:前 19 章从环境搭建讲到并发、错误处理与反射,后 5 章(网络爬虫、自动化、数据分析与机器学习、CI/CD、总结)展示 Go 在工程领域的用法。它讲透了 Go 的语法与惯用法(切片、组合、接口、channel/mutex),并把「Go 为什么这样设计」讲在每一处语法旁边。
• Learning Zig(低层编程新讲) — >-
• Programming Rust(第 3 版) — >-
• Prompting Go(AI 辅助 Go 系统开发) — 一本以 Go 项目为主线的后端教材:从语法、包、错误处理、并发,到数据库与 context、REST API、并发流水线、Docker/CI/CD 部署;辅线全程示范怎么用 ChatGPT、GitHub Copilot、Amazon Q Developer 提效。讲透了「AI 出假设、工具出判决、人出架构」的协作纪律——第 9 章的提示四要素(任务/上下文/约束/格式)与责任清单(幻觉/隐私/许可证/过度依赖)是全书最耐久的部分。
• Rust 程序设计语言(第 3 版) — Rust 官方入门书(俗称 "the book"),从零讲透 Rust 的核心机制:所有权与借用、泛型/ trait /生命周期、并发与 async,以及 Cargo 生态。它最独特的一课不是语法,而是"把编译器变成守门人"的设计哲学——大量别的语言只能运行时崩溃的 bug,在这里编译期就拒编。第三版新增异步编程一章(async/await、Future/Stream),并按 Rust 2024 edition 重写。
• Rust 机器学习 — >-
• Rust Web 开发 — >-
• Systems Programming with Zig — 全书拆解 — >-
• Zig 系统编程(MEAP) — Manning 社 Systems Programming with Zig 的 MEAP(出版前试读)第一版,作者 Garrison Hinson-Hasty。已放出的第 1–3 章讲透了三件事:Zig 的设计立场(为什么是 C 的协作者而非继任者,为什么把「显式」当作第一价值)、Zig 程序的解剖(模块/指针/数组/slice/结构体这一整套类型体系)、以及用一个 cat 程序串起分配器、错误处理、流式读写、构建脚本与 comptime 配置。写法是「把每行代码拆到 syscall 为止」的逐行拆解,适合已经有别的语言经验、想理解 Zig 为什么这样设计的人。

JavaScript/TypeScriptCopy Anchor Link

• 全栈 React、TypeScript 与 Node — David Choi 与 Cihan Yakar 用「一个项目从头长到上线」的方式串起 2026 年的主流 TypeScript 全栈技术栈(React 19、Express 5、Prisma 7、Docker、OpenTelemetry):每一层技术都被上一层的真实痛点逼出来,内存数组丢数据所以上数据库、API 洞开所以上认证、本地能跑所以上容器。压轴一章把前 14 章建好的应用拆回空地,只用提示词让 AI 编码智能体重建一遍,论证前 14 章的知识是驾驭 AI 的前提。
• 异步 JavaScript — 一本 2025 年的异步 JavaScript 入门书,按「回调 → Promise → async/await」三代写法一路讲透:事件循环与任务/微任务、Promise 的四个静态组合方法、async/await 与 try/catch、常见工程模式(重试、退避、限流、竞态)、错误处理与浏览器调试,末尾展望 Observable/Web Worker/top-level await。全书九成是可直接运行的示例代码,是一本「照书敲就能跑」的入门讲义,不是理论书。
• JavaScript 忍者秘籍(第 3 版) — 一本把 JavaScript 当作「函数式语言」来教的进阶教材:从运行时与工具链(Node.js、npm、TypeScript、ESLint、Prettier)起步,用连续四章把函数讲透(一等公民、四种调用方式与 this、闭包与作用域、promise 与生成器),再落到对象、原型、类与四种集合(数组、Map、Set、不可变集合)。每个机制都配可运行的代码和 assert 验证,核心立场是:写 JavaScript 像忍者还是像普通人,分水岭在懂不懂函数。
• JavaScript 深入浅出 — >-
• Total TypeScript 精要 — Matt Pocock(知名 TypeScript 教育者)与 Taylor Bell 合著的 TypeScript 入门到进阶教材,2026 年由 No Starch 出版。它讲透了 TypeScript 的核心心智模型:类型不是目的而是给 JavaScript 配 IDE 工具的手段;注解与推断的分工;并集、字面量与收窄;可变性如何影响推断;类型推导(keyof/typeof/映射类型);断言与 satisfies;模块、声明文件与 tsconfig;以及泛型、模板字面量类型等「设计类型」的高级工具。

PythonCopy Anchor Link

• 零基础 Python(BiteSize) — 一本 2025 年的零基础 Python 入门书(18 个内容章,约 33 万字符),用「少于 5 分钟一课」的 BiteSize 节奏,把读者从「从没写过程序」带到「能写小程序解决真实问题」。它讲透了 Python 入门全程的四件事:基本语法与数据类型、分支循环、函数(含递归)、四种容器及 collections 三件套(namedtuple / defaultdict / Counter);真正值得书库带走的是它的教法——每章固定五件套(介绍→示范→练习→AI 互动→案例),生成式 AI 被当成默认学习基础设施,练习密度约为示范的一倍。
• 用 Streamlit 构建 Python Web 应用 — Manning 出品的 Streamlit 实战教程(Aneev Kochakadan 著,Streamlit 联合创始人 Adrien Treuille 作序)。全书 12 章四个部分:地基(环境、执行模型、上云、密钥)→ 真实应用(CEO 数据看板、带认证的 CRUD 应用)→ AI(LLM 问答游戏、RAG + ReAct 智能体客服机器人)→ 工程化(测试金字塔、Docker + AWS 职业化部署)。它真正讲透的一条主线:Streamlit 用「整个脚本从头重跑」换来零前端门槛,而应用开发的功夫,都是在这条执行模型上搭脚手架——执行模型、缓存、会话状态、密钥纪律、配置驱动、关注点分离,这些机制讲解不过时;具体点击流与模型名是 2025–2026 快照。
• Prompting Python(AI 辅助全栈开发) — >-
• Python 轻松学 — 一本 2026 年出版的 Python 入门书,作者是物理学家出身的软件工程师 Marco Gähler,写给科学家和工程师。前半本讲 Python 本身——变量、数据结构、控制流、函数、类、模块——每一节都按「机制是什么 + 为什么该这么用」两条线讲;后半本讲工程习惯(命名、测试、依赖注入)和科学计算生态(math、NumPy、Matplotlib、Pandas、数值积分与微分方程)。全书的主线不是「Python 有哪些语法」,而是「怎么写代码才不给自己和别人挖坑」,作者的判断(不写注释写可读名字、避免 if 与继承、单元测试是金的)贯穿始终。

计算机系统Copy Anchor Link

• 操作系统导论(OSTEP) — 一本免费开源的操作系统教材,围绕虚拟化、并发、持久化三条主线,把「操作系统为什么要这样设计」拆成一章一个的具体问题逐个推导。机制与策略分离的讲法、承重的历史案例(CTSS/MLFQ、VAX/VMS、FFS、LFS、NFS/AFS)和大量可核的引用,使它成为理解现代系统软件设计推理方式的最佳教材之一。
• 从零自制操作系统 (内田公太) — 一本「从零到一」的动手教材:不写一行依赖现成操作系统的代码,从 UEFI 引导加载器画出的第一个像素开始,三十章一步步做出一个有窗口系统、抢占式多任务、FAT 文件系统、系统调用、管道和终端命令的真实操作系统 MikanOS。它的价值不在理论深度,而在把「操作系统到底由哪些件拼成、每件为什么必须存在」用可运行的代码顺序摊开,几乎每个机制都配「先做错/做慢 → 测量 → 改对/改快」的完整循环。
• 计算机网络(第二版) (李军怀) — 一本中文计算机网络教材(第二版,271 页),按「物理层→数据链路层→网络层→传输层→应用层」的下上顺序讲透互联网的分层体系:每一层解决上一层的什么缺陷、用什么机制解决、机制为什么有效(带公式、帧格式和算例)。后半本讲广域网技术(X.25/帧中继/ATM/MPLS)、网络安全与网络管理、以及网络系统工程设计,是同类教材里少见地把「设计施工」也收入的一章。
• 计算机组成原理(基于x86-64架构) ((美)罗伯特·G.普兰茨 著门佳,朱西方 译) — >-
• Linux 系统编程 — 2025 年 No Starch 出版的 Linux 系统编程大学教材(1051 页,19 章正文+3 附录),作者为 Hunter College 的 Stewart N. Weiss 教授。全书用「仿写系统命令」的方法(date/cp/ls/du/pwd/ps/last/shell/top…)逐个讲透文件 I/O、文件系统、进程、信号、定时器、IPC、线程与同步、终端与 ncurses、守护进程,基于 POSIX.1-2024 与 Linux 6.x 的当代口径,每个机制都配可运行的示范程序。

Web 前端Copy Anchor Link

• 学习 D3.js — Packt 出品的 D3.js v7(7.9.0)实战教材,基于 ES2019,从「数据驱动文档」的核心思想讲起,覆盖选择器与数据绑定、数据加载与处理、坐标轴与比例尺、颜色、线/面/饼/堆叠图,一直做到树、矩形树图、圈包、桑基图、弦图、力导向网络和地理地图。它讲透了 D3 不是图表库而是「把数据绑到图形上」的工具集这一件事,并给出大量可运行的完整例子。
• 学习 PHP、MySQL 与 JavaScript(第 7 版) — 2025 年的零基础 Web 开发教材:把「一个能互动的网站」拆成 PHP(服务器算账)、MySQL(存数据)、JavaScript(浏览器演戏)、CSS(长相)四件各司其职的技术,从零讲到用一个社交网站项目(Robin's Nest)合龙。讲透了请求/响应模型、PDO 占位符与 XSS 消毒这条安全主线、规范化与事务、会话与密码哈希,并以「先原语、后框架」的次序给了 React 与 Node.js 的原理演示。
• CSS 参考指南 — >-
• CSS 初学者指南 — >-
• HTML/CSS/JavaScript Web 开发 — >-
• WebAssembly 权威指南 — >-

后端与数据Copy Anchor Link

• RESTful API 设计原则 — 一本 2026 年的 RESTful API 设计实务教材:先用一章讲清 CGI → RMI → EJB → SOAP → REST 的三十年架构更替史,再按 REST 的四个承重概念逐章展开——资源标识(URI 命名与版本策略)、资源操作(HTTP 方法、幂等、缓存、冲突解决)、资源表述(可消费/可组合/可适配的渐进步进)、资源状态管理(HATEOAS 超媒体),最后两章补上安全(认证、授权、加密、日志)与性能规模(Gzip、分页、纵向/横向扩展、单体与微服务)。全书靠大量带具体数字的演示例子把「为什么这样设计」讲到能复述的程度。
• SQL Server XML 与 JSON 实例 — >-

DevOpsCopy Anchor Link

• 精通 DevOps — 一本从瀑布讲到 DataOps 的 DevOps 教材(Elsevier/Morgan Kaufmann,2026)。以八阶段生命周期(Plan→Code→Build→Test→Release→Deploy→Operate→Monitor)为主轴,逐章讲透使能技术:Git、微服务、云、容器、Kubernetes、CI/CD、持续测试、监控、自动化/IaC、部署策略,最后两章扩展到 DataOps 与 DevSecOps/MLOps/GitOps/FinOps 等变体。特点是完整与诚实:每个技术都配「好处、局限、坑」和可复现实验,连 K8s 不适合小团队、Terraform 抽象层地狱、100% 覆盖率虚假安全感这类扫兴话也照写。
• DevOps 驱动开发 — 2026 年的开发者全生命周期实践手册:从角色演进(DevOps/SRE/云/NoOps)到十五个具体工位——结构化日志与可观测性、左移安全、测试、CI/CD、IaC、容器与 Kubernetes、零停机部署、韧性与混沌测试、值班、FinOps、扩展——每章配工具名、可抄配置与量化案例,最后一章以 AI 驱动的 NoOps 收束。讲透了「你写的东西你从写到跑到背」这件事落到日常时每一个工位长什么样。
• Docker 容器完全指南(第 4 版) — >-

数据结构与算法Copy Anchor Link

• JavaScript 数据结构与算法 — 一本 2025 年的数据结构与算法教材,全程用现代 JavaScript(箭头函数、模块、类、函数式风格)实现。它把数据结构当作「抽象数据类型(ADT)的实现候选」来讲:同一 ADT 给多种实现,用第 4 章的大 O 分析做取舍;排序、选择、洗牌、搜索四章专讲算法设计,树、堆、字典树、图逐层展开,末章讲不可变(持久化)数据结构。习题答案在书末。

机器人与嵌入式Copy Anchor Link

• 机器人编程实战(第 3 版) — 一本手把手教你用 Raspberry Pi + Python 从零造一台轮式机器人的实战书:选型、组装、免焊接线、MQTT 服务层、差速驱动,一路做到编码器里程计、蒙特卡洛定位、IMU + PID、摄像头视觉、语音控制和传感器融合。它真正讲透的不是某个零件,而是「感知—思考—行动」这条回路怎么在一台真机上逐层闭环,以及为什么要把硬件包成服务、把行为写成消息。