在线书架 / 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计算机图形学入门》的目录篇仍为草稿。
本节把 React 组件的 props 从随手写的对象类型升级成一份可演进的接口契约：先讲 children 的三种类型与取舍，再讲可选属性在严格模式下的行为、事件处理器的泛型签名，最后进入泛型组件的完整写法，让列表、表格、选择器这类复用组件在适配任意数据类型时仍然保留推导。文中给出真实编译错误与修复路径，读完能设计出不依赖 any 的组件 API。
从 spring.factories 到 AutoConfiguration.imports，逐层拆开 Spring Boot 4 自动配置类的发现、过滤与排序：AutoConfigurationSorter 如何在 @AutoConfigureBefore/@AutoConfigureAfter 与 @AutoConfigureOrder 之上做拓扑排序，以及为何还要用全限定名做兜底。
讲清 @Async 的代理前提与自调用失效，说明默认 SimpleAsyncTaskExecutor 为何不能上生产，给出自定义 ThreadPoolTaskExecutor、TaskDecorator 上下文传递、有界队列与拒绝策略、CompletableFuture 异常的落地写法，并分析虚拟线程对线程池选型的影响。
图书、作者、分类之间天然存在关联。本节用图书服务演示 @OneToOne、@OneToMany、@ManyToOne、@ManyToMany 四种映射，讲清 mappedBy 与关系维护方、@JoinColumn 指定外键、级联与 orphanRemoval 的取舍，并用 show-sql 直观演示 N+1 问题。
本节从字符串拼接式的代码生成升级到 AST 变换：用 compile() 的三种模式、ast.NodeTransformer 与 fix_missing_locations 把 assert 改写成显式检查，并注入函数计时。实测改写前后的 dis 字节码差异，以及为什么改写版能在 python -O 下继续生效，而原始 assert 会被剥离。
本节讲透类装饰器与 __set_name__ 的执行时机：类装饰器在元类 __init__ 之后运行，看到的是已经完成 __set_name__ 的类对象；__set_name__ 按定义顺序为每个描述符调用一次，且 3.12 起异常不再被包装成 RuntimeError。再用属性工厂与 __init_subclass__ 组合实测一个字段收集框架，并对照标准库 cached_property。
本节从 CPython 实现角度拆解 class 语句：它如何脱糖成 __build_class__ 与 type() 三参数调用，元类的 __prepare__、__new__、__init__ 与 __set_name__、__init_subclass__ 的精确执行顺序，元类冲突背后的 MRO 规则，以及何时该用 __init_subclass__ 替代元类。附实测时序与性能数据。
长连接上线后真正难的三件事：用 ping/pong 心跳及时剔除假死连接、用指数退避加抖动做健壮重连、用并发安全的 ConnectionManager 广播并给慢消费者做有界队列背压，每一步都附真实运行输出与取舍分析，并给出可对照的上线检查清单。
用一条只读 HTTP 流做服务端推送：真跑 text/event-stream 的 data/event/id 字段、StreamingResponse 流式输出与 Last-Event-ID 断线续传，并给出 SSE 与 WebSocket 的选型对照。
从轮询到双向长连接：用标准库真跑一遍 WebSocket 握手与帧格式，掌握 FastAPI 的 @app.websocket 与 WebSocketDisconnect，并设计带类型字段与版本协商的 JSON 消息信封，最后讲清文本 JSON 与二进制的取舍。
走完 getBean() 到 doCreateBean 的解析链：用字节码调用次序说明三级缓存 singletonObjects / earlySingletonObjects / singletonFactories 为何能解掉 setter 循环依赖、构造器循环依赖为何必然失败，并对比 @Lazy 与 ObjectProvider 破环的代价。
用 @EnableMethodSecurity 与 @PreAuthorize/@PostAuthorize 做方法级授权，设计 RBAC 与资源级权限，并在分馆租户模型下比较租户字段过滤、schema 隔离与库隔离的取舍，解决租户上下文在异步线程中的传播与越权测试。
BeanDefinition 是容器持有的元数据契约：本节拆开 AbstractBeanDefinition 的字段结构、BeanDefinitionRegistry 的注册与覆盖判定、组件扫描与 @Configuration 解析如何产出定义，讲清父子定义合并成 RootBeanDefinition 的过程，以及 @Primary 与别名在候选筛选里的作用。
对比无状态与 Session 在水平扩展、注销与吊销上的取舍，给出 HS256 与 RS256 的选型判据，用 JwtDecoder/JwtEncoder 落地签发与校验、token 过期与刷新轮换、密钥轮换与 kid，并列出算法混淆、none 算法等安全错误。
本节把条件类型与 infer 拼成类型级的数据结构与算法：以元组模拟数组与单链表、用元组长度实现类型级加减乘除与比较、用对象类型充当字典并按键值反查键名，再借逆变合并把联合转成元组。由此说明 TypeScript 类型系统为何是图灵完备的，以及这种能力在编译时间、错误信息与可维护性上的真实代价。读完本节，你能判断一个类型工具该手写还是该改用代码生成。
本节讲解 infer 在条件类型中做模式匹配与类型提取的规则：推断位置受协变与逆变影响的结果、同一推断变量出现在多处时的合并规则，以及在模板字面量类型中捕获子串、解析路由参数的技巧。随后引入递归条件类型，讲清递减输入与显式终止分支这两条铁律，并用累积参数避免结果反转。读完本节，你能用 infer 与递归实现真实的类型级提取工具，并知道如何规避深度超限报错。
本节从条件类型的语法与可赋值性判定讲起，重点剖析「分发」这一最反直觉的行为：为什么裸类型参数会让联合类型被逐成员展开、如何用元组包裹关闭分发、never 在分发中的特殊性，以及它与映射类型、键重映射组合后如何实现按键值类型筛选字段。读完本节，你能读懂主流工具库的类型定义，并写出行为可预测、不会误分发的条件类型工具。
长连接上线前还有三块拼图没补齐：它会静默假死、断了要能自动恢复、单实例的订阅表在多副本部署下会失效。本节先讲清心跳为什么必须由应用层承担、ping/pong 与业务保活如何配合、指数退避加抖动如何避免重连风暴，再讲断线后的状态补偿与消息幂等，最后用 Redis 发布订阅把广播从单机扩展到集群，并给出背压、慢消费者与可观测性的落地方案。
当服务端只需单向推送时，WebSocket 是过重的选择。本节讲透 SSE 的文本帧格式、id 与 retry 字段的作用、服务端如何用 ReadableStream 输出事件流、客户端 EventSource 的自动重连为何常常失效，以及需要 POST 与自定义请求头时如何改用 fetch 读取。还给出事件契约的类型化写法与流式 JSON 增量解析，并指出代理缓冲与超时这几个必踩的坑。
WebSocket 是长连接，一条通道上会流动几十种语义完全不同的消息，而 JSON.parse 返回的 any 会让类型安全在最需要它的地方失效。本节用判别联合为消息族建模：挑选有限且显式的字面量判别键、让 switch 自动收窄、用 never 做穷尽检查、在 JSON 边界用 Zod 做运行时校验，并给出前后端共享协议包与版本协商的落地方式。