第 17 章 · 类型层的数学与逻辑
:::info 占位页 本章正文撰写中（v1 里程碑）。以下是已敲定的学习目标、内容要点与练习清单。 :::
学习目标
- 用元组长度模拟数字运算（加减 / 比较 / 转换）
- 在类型层实现常见算法与逻辑题
- 理解类型层数学的性能与边界
内容要点
- 数字的类型级表示：元组长度、字符串解析
- 加减法：
MinusOne、Sum、Subtract - 比较与查找：
GreaterThan、TwoSum - 逻辑题：
FizzBuzz等 - 类型层算法的复杂度与深度限制
本章练习
迁移题（type-challenges）
| 题号 | 题目 | 难度 |
|---|---|---|
| 02257 | MinusOne | medium |
| 07561 | Subtract | extreme |
| 00476 | Sum | extreme |
| 04425 | Greater Than | medium |
| 08804 | 两数之和 | hard |
| 14080 | FizzBuzz | hard |
每道题点击「开始挑战」可在官方 TypeScript Playground 中作答（v0.5 接入）。
TODO
- 撰写正文（v1）
- 迁移本章 6 题并接入「开始挑战」（v0.5）