在线书架 / BOOKS
从第一章开始，把知识读成体系。
按领域与学习阶段整理的在线电子书与创作手记。覆盖 Rust、Lua、TypeScript、Python、Java（Spring Boot）与游戏开发、文学创作，从阅读指南进入，或按全书目录查找章节。
了解阅读方式4 部书稿
从所有权与借用，到工程实战与系统编程。
3 部书稿
从脚本基础，到语言机制与游戏业务。
2 部书稿
从客户端引擎，到服务端架构与完整项目。
3 部书稿
按入门、实战、高级三步，建立类型与工程能力。
从基本类型、函数与泛型，到类型建模、模块和工程配置，以全栈项目收尾。
面向项目交付，覆盖测试、服务端与数据层、前端类型实践、API 契约及部署运维。
面向库与工具链作者，深入类型级编程、编译器 API、声明发布和运行时边界。
3 部书稿
从语言基础与工程交付，深入 CPython 与性能优化。
面向零基础读者，从数据结构与函数，到类型注解、并发异步、测试打包与应用项目。
从工程脚手架出发，实践 Web 服务、数据访问、后台任务、自动化与生产部署。
深入 CPython 对象模型、字节码、GC 与并发运行时，理解扩展机制和性能工程。
3 部书稿
从 Spring Boot 入门与工程实战，到框架内部机制与版本迁移。
面向零基础读者，从环境搭建与第一个接口，到 Web、数据访问、测试与完整项目。
从工程脚手架出发，实践 Web 服务、数据访问、缓存、消息与生产部署交付。
深入容器、自动配置、AOP、请求管线与事务机制，理解框架内部与 3.x 到 4.x 迁移。
1 部书稿
一部长篇科幻小说的创作过程与长期写作经验。
这些电子书以网页章节形式在线阅读。每个系列围绕一个完整主题编排，技术书稿与创作手记按领域分别收录。
《Spring Boot 入门 / 实战 / 高级》三部曲已全部上线（入门 61 篇 / 实战 55 篇 / 高级 34 篇，共 150 篇）。《Python计算机图形学入门》的目录篇仍为草稿。
本节先对比 Celery 与 arq 的模型差异，讲清 broker、worker、结果后端与可见性超时的机制；再用 tenacity 9.2.1 实测指数退避重试，并用纯 asyncio 加 fakeredis 2.39.0 手写一个最小可靠队列，演示 RPOPLPUSH 取任务、失败重试与死信投递的完整链路。
本节把缓存拆成三个可决策的问题：本地缓存与分布式缓存怎么分工，Cache-Aside 与 Write-Through 各自适合什么写场景，以及键命名、TTL 与淘汰策略如何一起设计。再用 fakeredis 2.39.0 实测穿透、击穿、雪崩三类故障的工程对策，并给出基于 SET NX EX 与 WATCH 的分布式锁实现。
对比 URL、Header、媒体类型三种版本载体的取舍，讲清 Spring Boot 4 内置 API Versioning 的 spring.mvc.apiversion.* 属性、@GetMapping(version=...) 注解与 ApiVersionConfigurer 精细控制，给出向后兼容判定清单、Deprecation/Sunset 废弃流程与破坏性变更的并行发布策略。
把 OpenAPI 文件从代码的产物变成代码的输入：用 openapi-generator 7.26 生成接口与 DTO，用 interfaceOnly 与生成目录划清生成与手写的边界，给出避免重生成覆盖业务逻辑的三条纪律，并在 CI 里用 validate、spectral、漂移检查与 oasdiff 四道关固定契约。
《TypeScript高级编程》全书导航页：说明本书写给谁、解决什么问题，给出完整通读、主线速读与当参考手册三条学习路径，按四个部分列出 11 章 33 节的完整章节索引，每节附一句话说明，并含各部分导读、本篇定位与延伸阅读专题清单，方便按需定位、跳读与长期查阅。
本节系统拆解缓存的三种失效模式并给出可直接落地的 TypeScript 代码。先对比穿透、击穿、雪崩的成因与线上表现，再分别用布隆过滤器与空值缓存挡穿透、用进程内单飞配合分布式锁与逻辑过期挡击穿、用 TTL 抖动、多级缓存与熔断降级挡雪崩，最后把三者组合成一条抗压读路径，并给出锁超时、哨兵值污染、抖动区间设置等常见坑的排查方法。
本节把裸 Redis 客户端那层 string 边界升级成编译器可检查的类型边界。先拆解键空间声明、codec 与客户端三层封装的职责，再用 TypeScript 泛型与 as const 推导实现 defineCache、类型化 get/set/mget/del 与 remember 缓存旁路助手，并用 Zod codec 在反序列化阶段拦截结构漂移，最后给出管道批量与常见类型漏洞的修复方案。
本节讲清缓存分层的工程取舍与缓存键的设计规范。先给出浏览器、CDN、进程内、Redis、数据库五层缓存各自的职责表与失效半径对比，再深入缓存键的三要素——命名空间、版本号与粒度，并用 TypeScript 写出类型安全、可版本化的键构造器与稳定序列化函数，最后列出大小写、浮点精度、对象键顺序等常见键冲突坑与排查手段，读完能独立设计一套不互相污染的键空间。
讲清 Spring Boot 4 下 springdoc-openapi 3.x 的依赖坐标与版本线，用 @Operation、@Schema、@ApiResponse 补齐接口语义，划清推断与注解的边界，用 GroupedOpenApi 拆分前台与后台文档，并给出生产环境关闭文档或加鉴权的两种收口方式与四类常见坑。
本节把图书管理服务从内存 Map 换到真正的数据库：引入 spring-boot-starter-data-jpa 与 H2、MySQL 驱动，逐项讲清 spring.datasource.* 与 HikariCP 关键参数的默认值，用表格对比 ddl-auto 四个取值的风险，并演示 4.1 新增的惰性连接获取与启动期连不上库的真实报错。
接口一旦发布就是契约，改它要付代价。本节讲清哪些字段变更是破坏性的、哪些是安全的，用 deprecated 与 Sunset 头做渐进弃用，给出 URL/Header 两种版本化策略，并写一个能自动检测破坏性变更的 OpenAPI 契约 diff 脚本。
上一节设计好的 Pydantic 模型，本身就是一份机器可读的契约。本节让 FastAPI 导出真实的 /openapi.json，逐段解读 schema 里字段约束如何映射，再讲客户端代码生成的三条工具路径与命令，并手写一个基于 httpx + ASGITransport 的最小客户端跑通端到端调用，最后把 schema 断言写进 CI。
上一章我们用 SQLAlchemy 打通了数据库，这一节回到 HTTP 边界：用 Pydantic V2（2.13.5）设计请求/响应模型。覆盖 Field 约束与 Annotated 复用、field_validator 与 model_validator、ConfigDict 关键开关、别名、computed_field，以及 model_dump 的取舍与 from_attributes。
N+1 是 JPA 生产事故的头号来源。本节从 SQL 日志里还原 N+1 的形态，对比 JOIN FETCH、@EntityGraph 与 @BatchSize 三种抓取策略的代价，讲清分页叠加 fetch join 的经典陷阱与 LazyInitializationException 的根因，并给出定位与验收方法。
派生查询、@Query（JPQL / native）与 Criteria、Querydsl 各有适用边界。本节用图书借阅服务的多条件检索场景对比三种写法的可维护性与类型安全，给出动态条件查询的落地方式、原生 SQL 的方言锁定代价，以及 4.x 下 Hibernate 7.x 的相关口径。
本节收束数据访问层剩下的三个难题：表结构怎么改才不锁库、并发写入怎么写才不留半成品、连接池该配多大才不会把数据库压垮。先讲 expand-contract 迁移模式与加列改列的真实锁行为，再讲交互式事务、隔离级别、死锁重试与 outbox，最后给出连接数估算公式、PgBouncer 与预编译语句的冲突，以及慢查询与连接指标的观测手段。
本节换一条与 Prisma 相反的路线：用 TypeScript 文件本身描述表结构，让类型从查询语句推导出来。先安装 drizzle-orm 与 drizzle-kit，用 pgTable 定义表、列、枚举与索引，再讲清 $inferSelect 与 $inferInsert 的差别，随后逐个演示 select、join、where 与关系查询 API 的类型结果，最后给出迁移命令与选型建议。
本节把 Prisma 当作一条从数据库结构到 TypeScript 类型的单向流水线：写出第一个 schema.prisma，逐块拆解 generator、datasource 与 model 的字段类型与常用属性，观察 prisma generate 生成了什么，并说明 select、include 的返回类型如何推导。最后给出常见报错对照与 N+1 规避，读完你能独立设计可演进的数据模型。
实体直接出现在接口层会带来懒加载代理序列化失败、字段泄露与循环引用三类事故。本节给出投影（interface / DTO）的用法与边界、手写转换与 MapStruct 的取舍、Repository 与 Service 的职责划分，以及 readOnly 事务与转换时机的关系。
每个接口都要记日志、查登录，写进 Controller 太啰嗦。本节对比 Filter（Servlet 规范）与 HandlerInterceptor（Spring MVC）的执行时机，用真实日志证明 Filter → Interceptor → Controller 的顺序，演示两种 Filter 注册方式与拦截器路径匹配，并完整实现请求 ID 贯穿与登录校验。