posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
一个函数在类型层面可以有多个签名，这就是函数重载。本节先讲清重载签名与实现签名的分工、匹配顺序以及常见的重载误用，再转向 TypeScript 对 this 的处理：this 参数如何显式声明、箭头函数为什么能锁住 this、以及回调里丢失 this 的经典错误如何被编译器提前拦下。读完本节，你能为同一个入口设计出精确的多形态签名，并彻底理解 this 在类型系统中的行为。
函数是 TypeScript 程序的基本构件，而函数签名则决定了调用方能看到什么、编译器能替你检查什么。本节从函数类型注解讲起，逐步展开参数与返回值的标注方式、可选参数与默认值的语义差异、剩余参数与参数解构的写法，并给出严格模式下的常见报错与修复思路。读完后你将能写出签名清晰、对调用方友好、且能被编译器完整校验的函数，为后面学习重载与泛型打下基础。
本节核心事实是：Python 里函数是对象，能被赋值、放进容器、当参数传、当返回值，这正是 lambda 与 functools 存在的原因。接着讲清 lambda 的边界与 PEP 8 建议，比较 map/filter 与推导式的取舍，介绍 itemgetter/attrgetter 替代 lambda，最后演示 reduce、singledispatch 与 functools.cache。
本节把函数讲透：从定义与文档字符串说起，拆解位置、默认、*args、仅关键字、**kwargs 五种参数形态，以及调用时用 * 和 ** 解包。重点讲清默认值只在定义时求值一次的陷阱，它和 3.3 节的可变默认参数一脉相承。随后用 LEGB 规则解释名字查找，说明 global 与 nonlocal 的用法并给出闭包示例，最后介绍类型注解、lru_cache 与 partial。
本节讲清 Python 的流程控制与推导式：先梳理哪些值为假，再拆解 if/elif/else、条件表达式、for 与 while、循环 else 子句、break 与 continue，以及 range、enumerate、zip（含 strict=True）。随后用列表、字典、集合、生成器四种推导式替代啰嗦循环，划清嵌套推导式边界，最后介绍 3.10 起的 match/case 模式匹配。
把《孢子三部曲》第一轮盘点推进到30天执行计划，第1周完成原稿收拢、拆章、编号和章节卡片初填。
本节处理类型系统里的四个边界类型：any、unknown、never、void。先说明 any 为什么是「类型安全的漏洞」以及它的传染性，再讲 unknown 如何作为安全的 any 迫使你收窄，never 如何支撑穷尽性检查与永不返回的函数，void 在回调签名里的特殊地位。随后讲解类型断言 as、非空断言 !、双重断言与 satisfies 运算符的正确用法和滥用后果，并附真实报错对照。
本节讲透 TypeScript 里三种「复数形态」的类型：数组、元组与枚举。先对比 T[] 与 Array<T> 两种数组写法、只读数组与多维数组，再讲元组如何用固定长度与固定位置表达「结构化的多返回值」，包括具名元素、可选元素与剩余元素。最后剖析 enum 的编译产物、反向映射与常量枚举的陷阱，并给出用 as const 对象加联合类型替代枚举的现代写法，附可运行的编译前后对照。
本节从 TypeScript 的原始类型讲起，逐一介绍 string、number、boolean、null、undefined、symbol、bigint 的语义与写法，系统讲解类型注解语法与类型推断边界，说明什么时候该显式标注、什么时候该交给编译器，并用可运行代码演示严格模式空值检查与隐式 any 报错，帮助零基础读者建立「类型先写还是后写」的判断标准，为后续数组、对象与函数类型打好地基。
本节揭开 Python 对象模型的核心：变量只是绑定到对象的「名字」，而不是存放值的盒子。我们用 id、is 与 == 的真实实验讲清同一性与相等性的区别，实测小整数缓存与字符串驻留的边界，演示可变默认参数这个经典陷阱，对比 copy.copy 与 copy.deepcopy 在处理嵌套结构与循环引用时的差异，并说明函数传参为什么叫「传对象引用」。
本节系统讲解 Python 的四种内建容器：list、tuple、dict、set。先给出有序性、可变性与查找复杂度的对比表，再分别讲透列表的增删改查与带步长的切片、元组的解包与不可变的真实含义、字典的哈希要求与插入有序、集合的去重与交并差运算，并介绍 collections 中的 deque、Counter、defaultdict 与 namedtuple，最后用实测数据说明何时该换容器。
本节讲透 Python 的四大标量类型：int 的任意精度与位数限制、float 的 IEEE 754 二进制表示误差、bool 作为 int 子类的真相，以及 complex 复数。随后深入字符串的不可变性与 Unicode 码位和字节的区别，系统讲解 f-string 的对齐、精度、千分位与嵌套宽度等格式化语法，并对比 % 与 .format() 的适用场景，为后续容器与文本处理打好基础。
为《孢子三部曲》建立废稿归档模板，用于整理旧稿、半成品设定、被替换场景和可复用灵感，避免旧稿拖住正文修订。
本节把零散知识组装成一个能跑起来的完整项目：命令行温度换算器。从创建目录、初始化 npm、安装 typescript 与 @types/node，到编写 tsconfig.json、实现参数解析、编译运行、用 npm scripts 固化流程，再到接入监听模式形成闭环。过程中会解释为什么命令行工具需要 @types/node，以及 dist 该不该提交到 Git。读完你能独立从零搭出小型项目。
本节拆开 TypeScript 编译器 tsc 与它的配置文件 tsconfig.json。先运行 tsc 观察 .ts 转成 .js 的过程，再用 tsc --init 生成配置，讲清 target、module、outDir、strict 的含义与取舍；再通过编译前后对照理解「类型擦除」，最后给出 include/exclude 的误用与报错。读完你能读懂一份 tsconfig.json。
本节从零搭建 TypeScript 开发环境：先讲清为什么必须先装 Node.js，再对比官方安装包、nvm 与系统包管理器三种方式的取舍，逐步验证 node、npm、npx 三个命令；接着说明 TypeScript 为什么应该装成项目本地依赖而不是全局命令，并给出 VS Code 的编辑器配置建议。读完后你能拥有一套可复现、可协作的本地环境，并认识安装过程中最常见的报错与排查方法。
单文件脚本撑不起真实项目。本节先讲一个标准 Python 项目该长什么样，对比 src 布局与平铺布局的取舍，说明 tests、README、.gitignore 各放什么；再拆开 pyproject.toml 的三段结构（build-system、project、tool），讲清 requires-python 的含义；最后贴出 uv init 实际生成的文件内容，让你照着就能搭起项目骨架。
环境装好后，本节带你选编辑器并把解释器指向上节建好的虚拟环境；随后系统讲解 REPL 在 3.13 之后的改进（多行编辑、语法高亮、直接输入 exit 退出），以及 python -c、python -m、python -i 三种命令行用法；最后写出并实际运行第一个脚本，讲清 __name__ 判断这个惯用法的作用，并附命令行速查与常见报错排查清单。
本节从零安装 Python：先对比 macOS、Windows、Linux 三种平台各自的安装方式与坑，再解释 python 与 python3 的历史包袱；随后用一整段讲清「为什么必须用虚拟环境」，手把手创建、激活、退出 venv 并读懂 pyvenv.cfg；最后介绍 pyenv 管理多版本和 uv 这一新一代工具，用真实的 PATH 对比说明「激活」到底改了什么。
为《孢子三部曲》建立伏笔编号模板，用于管理自然线索、人物伤痕、信息隐瞒、物件细节和结构回声。