在线书架 / BOOKS
从第一章开始，把知识读成体系。
按领域与学习阶段整理的在线电子书与创作手记。覆盖 Rust、Lua、TypeScript、Python、Java（Spring Boot）、Go 与游戏开发、文学创作，从阅读指南进入，或按全书目录查找章节。
了解阅读方式4 部书稿
从所有权与借用，到工程实战与系统编程。
3 部书稿
从脚本基础，到语言机制与游戏业务。
2 部书稿
从客户端引擎，到服务端架构与完整项目。
3 部书稿
按入门、实战、高级三步，建立类型与工程能力。
从基本类型、函数与泛型，到类型建模、模块和工程配置，以全栈项目收尾。
面向项目交付，覆盖测试、服务端与数据层、前端类型实践、API 契约及部署运维。
面向库与工具链作者，深入类型级编程、编译器 API、声明发布和运行时边界。
3 部书稿
从语言基础与工程交付，深入 CPython 与性能优化。
面向零基础读者，从数据结构与函数，到类型注解、并发异步、测试打包与应用项目。
从工程脚手架出发，实践 Web 服务、数据访问、后台任务、自动化与生产部署。
深入 CPython 对象模型、字节码、GC 与并发运行时，理解扩展机制和性能工程。
3 部书稿
从 Spring Boot 入门与工程实战，到框架内部机制与版本迁移。
面向零基础读者，从环境搭建与第一个接口，到 Web、数据访问、测试与完整项目。
从工程脚手架出发，实践 Web 服务、数据访问、缓存、消息与生产部署交付。
深入容器、自动配置、AOP、请求管线与事务机制，理解框架内部与 3.x 到 4.x 迁移。
4 部书稿
从语言入门到工程实战，再到高级特性与运行时原理。
1 部书稿
一部长篇科幻小说的创作过程与长期写作经验。
这些电子书以网页章节形式在线阅读。每个系列围绕一个完整主题编排，技术书稿与创作手记按领域分别收录。
《Spring Boot 入门 / 实战 / 高级》三部曲已全部上线（入门 61 篇 / 实战 55 篇 / 高级 34 篇，共 150 篇）。《Go 语言编程入门 / 实战 / 高级 / 运行时原理》四卷本已全部上线（入门 61 篇 / 实战 55 篇 / 高级 34 篇 / 运行时原理 30 篇，共 180 篇）。《Python计算机图形学入门》的目录篇仍为草稿。
本节讲解模板字面量类型如何把字符串拼接搬进类型系统：用反引号加 ${} 构造字面量模式，与联合类型组合时自动展开成笛卡尔积，配合 Uppercase 等内置工具与 infer 实现字符串解析、Trim、Split、Replace 等递归算法。最后落到类型安全的事件名、路由参数与 i18n 键三个真实场景，并说明贪婪匹配、无法反向推断与编译性能这三类坑。
本节把 TypeScript 标准库里的内置工具类型逐个拆开：从对象修饰的 Partial、Required、Readonly，到集合运算的 Pick、Omit、Exclude、Extract，再到函数与异步相关的 ReturnType、Parameters、Awaited。我们用第 9 章的映射类型与条件类型手写它们，讲清浅层修饰与 Omit 键不受约束这两个常见坑，并给出分组速查表。
本节以一支准备把老系统重构为 Spring Boot 的团队为引子，先用真实的 web.xml 与 applicationContext.xml 展示传统 Spring 的配置负担，再拆解 Spring Boot 的三条核心主张——约定优于配置、起步依赖、内嵌容器，讲清它解决了什么、没解决什么，并梳理 Spring 生态的分工。读完你能判断一个项目该不该上 Boot。
json.dumps/loads 的 ensure_ascii、indent、sort_keys、default 参数与中文坑，csv 的 DictReader/DictWriter、newline 的必要性与 Sniffer，3.11+ 只读的 tomllib，以及序列化安全：pickle 为何不能反序列化不可信数据、yaml.safe_load 与 JSON 的边界。
从 open() 的模式与 encoding 参数讲起，说清为什么必须显式指定编码；对比 read()、readlines() 与逐行迭代的内存差异，用 pathlib.Path 做现代路径操作，覆盖 glob/rglob/iterdir/walk、__file__ 定位、UTF-8 BOM 与 GBK 乱码排查，以及 tempfile 配合 os.replace 的原子写入。
字符串方法全景、切片与不可变、三种格式化的取舍与 f-string 调试写法、encode/decode 的编码错误处理，再到 re 模块的 match/search/fullmatch 区别、分组与命名分组、findall 与 finditer、贪婪与非贪婪、sub 回引，以及预编译缓存与一条日志解析实战。
以《孢子危机》的前兆章节为样章，说明如何从章节卡片、自然线索、人物视角和信息延迟四个方面启动危机线重写。
本节讲解类型运算的最后一块拼图：条件类型 T extends U ? X : Y 如何充当类型层面的 if/else，分布式条件类型在联合类型上的展开规则，以及用方括号包裹阻止分发的技巧。随后深入 infer 关键字，演示如何从函数签名、数组、元组和 Promise 中提取类型，并手写 Exclude、ReturnType 等工具类型的实现。读完你能看懂类型库的黑箱签名，并规避 never 陷阱。
本节讲解映射类型：如何用 [K in keyof T] 遍历一个类型的所有键并批量生成新类型，如何用 readonly 与 ? 的加减号增删修饰符，以及 TypeScript 4.1 引入的键重映射 as 如何借助模板字面量类型改写键名、借助 never 过滤掉不需要的键。本节会手写 Partial、Readonly、Required 等工具类型的内部实现，读完你能为自己的项目定制专用工具类型。
本节讲解 TypeScript 类型编程的三块基石：用 keyof 取出对象类型的全部键名，用 typeof 从运行时值反向推导类型，用索引访问类型 T[K] 精确取出某个属性或数组元素的类型。三者组合出的 keyof typeof 是工程中最常见的写法，能让类型与实现保持单一数据源。本节配有可运行示例与真实报错信息，读完你能读懂类型库中的索引写法，并为映射类型与条件类型打下基础。
静态类型检查器只能看代码，看不到运行时流入的 JSON、环境变量与用户输入。本节先划清静态类型的边界，再入门 Pydantic V2：用 BaseModel 定义模型、Field 加约束、model_validate / model_dump 序列化、field_validator / model_validator 写校验，并用 TypeAdapter 处理裸类型。
当同一段逻辑要处理多种类型时就需要泛型。本节从 TypeVar 与 bound 讲起，给出泛型函数与泛型类的写法，对照 3.12 的 PEP 695 新语法如何简化 type X = ...、class C[T] 与 def f[T]；随后深入 Protocol 子类型、TypedDict、NamedTuple、@overload、Self 与 3.13 的 TypeIs，并讲清变型的直觉。
类型注解是 Python 静态分析的地基，运行时却几乎不做任何检查。本节从「写了 int 传 str 也能跑」讲起，梳理 Optional、Union、内置泛型、Literal、Final、Annotated 等语法，厘清 Any 与 object 的边界，再用 pyright 与 mypy --strict 在真实文件上跑出检查结果，并说明注解在运行时如何被读取、3.14 起为何默认延迟求值。
从30天盘点结果进入第一轮重写，说明如何选择、拆解、执行和验收《孢子三部曲》的P0改稿任务。
本节把泛型从函数扩展到接口与类，讲清三者各自声明类型参数的位置与作用域，解释为什么静态成员不能用类的类型参数，并给出「类级类型参数还是方法级类型参数」的选择标准。随后用类型安全仓储、泛型事件总线、链式 Builder 三个实战把接口、类、函数串起来，配常见报错速查，完成从会用泛型到会设计泛型抽象的过渡。
本节讲清泛型默认值的语法、求值顺序，以及默认值必须满足约束这条硬规则。随后系统梳理类型推断的四个来源与优先级，解释为什么 TypeScript 至今不支持部分推断、如何用柯里化绕过，并介绍 TS 5.0 的 const 类型参数如何保住字面量精度。最后用可配置的请求封装串起全部知识点，给出常见推断失败场景与修法。
本节承接泛型函数入门，讲清为什么裸泛型在函数体里几乎什么都做不了，以及 extends 关键字如何把类型参数收窄到满足特定形状的类型。内容覆盖对象形状约束、keyof 与索引访问组合约束、一个类型参数约束另一个、交叉类型实现多重约束，并解析 does not satisfy the constraint 这类报错的成因与修法，帮助读者从能写泛型进阶到能设计泛型 API。
《Spring Boot 入门》全书导航页：说明本书定位、读者画像与前置知识、三条学习路径与五个部分之间的依赖关系，并按五个部分列出 18 章 54 节的完整章节索引，另含序、前言、附录 A–D 与常见问题速查表，每一节都配一句话说明，方便按需定位、跳读与随时查阅全书。
装饰器本质是函数到函数的高阶函数，@deco 只是 f = deco(f) 的语法糖。本节从最朴素的例子讲起，强调必须用 functools.wraps 保留元信息；再讲带参数的装饰器、类装饰器与实例方法装饰器的差异、缓存装饰器的实现思路与可哈希约束、singledispatch 的类型分派，以及多个装饰器的执行顺序，最后落到鉴权、重试、计时、注册表等真实工程场景。
yield 不只是用来吐出值的。本节从 send() 讲起，说明生成器为什么被称为协程的雏形；再讲 throw() 与 close() 的清理语义、GeneratorExit 为何必须重新抛出、yield from 的委托规则以及它如何取出子生成器的返回值；最后用生成器搭一条读文件、过滤、转换、聚合的惰性管道，说清它比每步生成一个列表省在哪里，并点一句异步生成器为何是另一套东西。