TypeScript数独：让类型检查器高亮错误 (github.com)

这篇文章探讨了如何使用TypeScript类型系统精确定义数独类型，目标是在TypeScript中玩数独时，如果出现错误，类型检查器会报错。文章首先定义了数独的基本类型，然后逐步介绍了如何使用泛型、条件类型、联合类型、交叉类型等特性来表达数独的规则，例如每个数字在行、列和九宫格内必须唯一。作者最终提供了一个完整的类型定义，可以用来验证数独的完整性和正确性。