在线书架 / 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计算机图形学入门》的目录篇仍为草稿。
本节把 Promise 当成带类型参数的状态机来拆解：Promise<T> 里的 T 描述什么，then、catch、finally 如何传递与拓宽类型，async 函数为什么必须返回 Promise<T>，await 又做了怎样的解包。我们用表格对比 all、allSettled、race、any 的类型差异，讲清串行与并行 await 的性能陷阱，并给出类型安全的请求封装写法。
本节把「错误」当成类型问题来讨论：为什么 catch 的参数只能是 unknown，如何用自定义错误类配合 instanceof 收窄，以及如何用判别联合把失败编码成返回值。我们会手写一个带 map、mapErr、unwrap 的 Result 类型，并用表格对比异常与 Result 各自的适用边界，读完你能为业务代码选出一套可推导、可穷尽检查的错误处理方案。
本节从一段手写 new 的代码讲起，说明 IoC 到底反转了什么，理清 ApplicationContext 与 BeanFactory 的关系，逐一演示 @Component、@Bean、@Import 把类变成 Bean 的三种方式，并用 getBeanDefinitionNames() 实测打印容器内容，帮你判断哪些类该交给容器、哪些不该。
从 pytest-cov 的实跑报告讲起，说明 100% 行覆盖不等于测到边界，用 --cov-branch 对比数字；再实跑 ruff check/format 与 mypy --strict，给出 pyproject 配置段，最后落到 pre-commit 与 GitHub Actions，把质量门禁分成本地、CI、发布前三层。
把测试从单条函数升级为可复用、可组合的工程：讲清 fixture 的参数注入与四种作用域、yield 拆解、conftest.py 层级发现、tmp_path 与 monkeypatch，再用 parametrize 和 unittest.mock 演示 patch 该打在哪一层、autospec 与 call_args 怎么用。
从 unittest 的写法对比切入 pytest：讲清 test_ 前缀的自动发现规则、assert 断言重写为何能给出逐元素 diff、pytest.raises 与 match、pytest.approx 浮点比较、skip/skipif/xfail 三种标记，以及 src 布局、pyproject 配置与 -v/-k/-x/--lf 常用开关。
以《孢子危机》开篇雨后前兆为样章，模拟如何通过孩子感知、普通日常、自然线索和信息误判写出危机的第一层不安。
逐个讲透 @ConditionalOnClass、@ConditionalOnMissingBean、@ConditionalOnProperty、@ConditionalOnWebApplication、@ConditionalOnBean 等条件注解，每类配一个最小可运行示例，并说明评估顺序的坑与如何用条件装配实现「按配置开关功能」。
顺着 @EnableAutoConfiguration 一路追到 AutoConfigurationImportSelector 与 AutoConfiguration.imports 清单文件，讲清 3.x/4.x 的加载路径、4.0 模块化后包名的迁移规律，并用 --debug 打印的自动配置报告解读 Positive/Negative matches。
本节把校验真正落到工程上：先列出一份完整的边界清单，再逐个给出落地方式——环境变量启动期校验并 fail fast、封装带 schema 的 typedFetch 解析上游响应、用泛型中间件校验 HTTP 请求体、区分 4xx 与 5xx 的错误归属、用 strict 与 passthrough 处理契约演进，最后用契约测试把前后端对齐。读完你能在自己的项目里搭出一套完整的边界防线。
本节介绍如何在运行时检查数据形状：用 Zod 声明 schema，用 z.infer 让编译期类型自动推导，告别「类型与校验规则各写一份」的漂移。内容覆盖 parse 与 safeParse 的取舍、issues 结构、optional/default/transform/refine 等修饰、z.input 与 z.output 的差异、判别联合与递归 schema，以及常见坑。
本节从类型擦除讲起：TypeScript 编译时会把 interface、类型注解与断言全部抹掉，只留下 JavaScript，于是「编译通过」并不等于「运行时安全」。我们会逐一拆开真实项目里最容易出事的几类盲区，包括 JSON.parse 后的断言、越界索引、Object.keys 的字符串键、结构化类型的多余属性、非空断言与异步回调，并给出信任边界清单，帮你判断校验该加在哪里。
从「我什么都没配，Tomcat 怎么就起来了」这个疑问出发，逐层拆开 @SpringBootApplication 背后的三个注解：@SpringBootConfiguration、@EnableAutoConfiguration 与 @ComponentScan，用等价代码验证，并给出包扫描与 exclude 的常见误用与排查方法。
同步库直接写进 async 会阻塞整个事件循环。本节用本地服务实测 requests 串行、to_thread 与 httpx.AsyncClient 的耗时差，讲连接池、contextvars、async for 与 async with，并盘点假异步：忘记 await、循环里串行 await、create_task 丢引用，最后说明何时不该用异步。
create_task 立刻调度、gather 要 await 才跑。本节对比 gather 与 TaskGroup 的错误处理：gather 不取消兄弟任务，TaskGroup 会取消并用 ExceptionGroup 汇总；再讲 asyncio.timeout、shield、CancelledError 的 BaseException 语义、Queue、Semaphore 与 Runner。
协程函数调用后只返回一个协程对象，不 await 就静默不执行。本节从 async def 与 await 的语义讲起，用真实计时证明单线程并发，再用 time.sleep 与 asyncio.sleep 的对比说明阻塞调用如何卡死事件循环，并厘清 get_running_loop 与 get_event_loop 的差异。
为《孢子三部曲》第一轮重写建立每周复盘机制，控制范围、记录变更、防止任务膨胀和旧稿再次拖住正文。
用 mvn package 把 demo 打成可执行 jar，拆解 BOOT-INF/classes、BOOT-INF/lib 与 JarLauncher 的内部结构，讲清 4.0 移除可执行 jar 启动脚本、4.1 用 tools 取代 layertools 两条变更，并说明分层 jar 与 Docker 镜像的关系。
对比传统 war 部署与内嵌 Tomcat，拆解 SpringApplication.run() 的环境准备、容器创建、Bean 加载与服务器启动四步，逐行解读 4.1.1 真实启动日志，并给出端口占用、Bean 创建失败、依赖缺失三类常见启动问题的日志特征与排查方法。
本节讲 TypeScript 最易被误用的一项能力：不新建声明，而是往已有类型上「长」成员。先讲清声明合并的规则，再区分在脚本里 declare module 与在模块里 declare module 这两个语义相反的写法，演示给 Request 加 user、给 process.env 加字段等真实场景，并列出冲突报错与规避手法。读完你能安全地做全局增强。