字谜游戏Wordle近年来风靡全球，凭借其简单但高度策略性的玩法吸引了众多玩家。传统的Wordle实现多依赖于运行时代码处理游戏逻辑和用户交互。但在TypeScript领域，有一款极具创新意义的项目Ts-Wordle，通过完全使用TypeScript的类型系统实现了一个无运行时代码的Wordle，带来前所未有的编程体验和游戏玩法。这种看似“逆天”的设计，不但反映了TypeScript类型系统的强大潜力，也为开发者打开了一扇探索类型逻辑编程的新窗口。Ts-Wordle由开发者alexbckr发布于GitHub，是一款独特的基于类型的Wordle游戏引擎。它完全抛弃了传统的函数和变量，通过递归类型、模板字面量类型、类型运算及类型映射等高级类型特性模拟整个游戏流程。
换言之，TypeScript编译器本身成为游戏引擎，而开发者的IDE则变成了游戏界面。玩家通过修改类型中的猜词数组并查看类型注释得到游戏反馈，体验别样的编码“游戏”。这种设计的关键在于TypeScript的类型系统不仅支持静态类型检查，还能执行复杂的类型计算和模式匹配，使得递归变换成为可能。实现中，开发者利用递归类型来遍历猜测单词序列，通过模板字面量类型对比目标单词和猜测单词的每个字母，生成对应的反馈符号。游戏中的字母反馈分为三种标记：绿色表示字母和位置均正确，黄色表示字母存在于单词中但位置错误，而灰色则表示字母在目标单词中不存在。Ts-Wordle巧妙地采用了两遍扫描策略解决Wordle游戏中的复杂边界问题。
第一遍由MarkGreen类型实现，用于标记所有位置和字母均匹配的“绿色”字母。第二遍则由MarkYellow实现，用来检查剩余未标记的字母是否应标为“黄色”，而其中的CanMarkYellow类型负责判断是否超出目标单词中字母的实际出现次数，避免因重复字母导致的错误标记。这种基于计数和状态追踪的两阶段标记流程，充分利用了类型系统的纯函数式递归能力，保证类型的无副作用与安全递归。由此，Ts-Wordle还模拟了Wordle的核心机制，如限制猜测次数、判定胜负状态等。玩家需在类型中定义TargetWord代表目标单词，随后编辑类型CurrentGame中的猜测单词列表。编译器通过类型递归计算反馈结果，注释中以emoji形式显示每次猜测的结果，使玩家无需运行任何代码即可“玩”游戏。
此外，Ts-Wordle对现代TypeScript的高级功能如模板字符串类型、条件类型和映射类型进行了充分应用，将其转化为一种声明式的状态机和逻辑推导过程。此项目不仅是对TypeScript类型系统极限的探索，更体现了类型系统作为编程语言“内建的函数式子语言”的潜力。Ts-Wordle的存在对前端和TypeScript开发者而言具有诸多启示。它提示开发者类型系统不仅仅是静态检查工具，还可以作为实现复杂逻辑的表达载体，为类型级编程和编译时计算提供极富创造性的用例。通过参与Ts-Wordle项目，开发者可以深入学习类型体操，理解类型递归、类型映射和条件类型等机制，提升对类型系统的掌控能力。换言之，它是实践“类型即代码”理念的绝佳范例。
从更广义来看，Ts-Wordle是类型驱动开发（Type-Driven Development）思潮下的一种另类尝试。通过将游戏逻辑下沉至类型级别，系统可以在编译阶段完成逻辑验证和结果推导，减少运行时开销并保证高度安全和确定性。这种模式有望被推广至复杂的领域建模、验证引擎甚至编译器实现中，实现更精细的静态分析。当然，Ts-Wordle自身在玩家体验上也有独特之处。由于游戏完全依赖于编辑类型和观察类型推导结果，传统以图形界面为主的交互被编码所替代。这适合具备一定TypeScript基础的用户探索和挑战，既是对逻辑推理的考验，也是对类型理解的训练。
通过不断调整猜测并查看类型注释，玩家得以以全新的视角体验字谜游戏的乐趣。总结来看，Ts-Wordle作为一款使用TypeScript类型系统实现的完全静态字谜游戏，成功展示了类型系统强大的表达能力和计算潜力。它不仅是一款有趣的代码游戏，更是一场对语言类型系统极限的实验。它证明现代TypeScript已发展成为带有函数式计算特性的强大声明式语言，其应用远超常规类型验证，进入了基于类型的复杂逻辑推理与状态管理时代。对于前端开发者、类型爱好者甚至语言设计者来说，Ts-Wordle值得细细研读和借鉴。未来，随着语言和工具链的发展，类似基于类型级别的交互式应用或逻辑推导将更加丰富，推动编程范式的多元化。
最终，让代码和类型实现的游戏不仅是学术展示，更走入更多开发者日常，启迪新的创造力。
