示例工程【免费下载链接】type-challengesCollection of TypeScript type challenges with online judge项目地址https://gitcode.com/GitHub_Trending/ty/type-challenges点击查看免费下载TypeScript 的类型系统远比大多数人想象中强大它甚至被社区戏称为图灵完备——这意味着理论上你可以只用类型编程就完成复杂的计算任务。type-challenges 项目正是围绕这一核心思想构建的它收集了大量由易到难的 TypeScript 类型挑战Type Challenges每一道题目都要求你仅用类型层面的技巧重新实现一个内置工具类型或解决一个真实世界的类型难题并通过内置的在线裁判online judge自动校验你的答案。阅读本文后你将理解这个仓库的完整组织方式学会如何挑选题目、如何在本地运行与验证解题过程并掌握利用题库分层训练 TypeScript 类型能力的完整方案。项目定位以类型为题的编程题库type-challenges 是一个以 TypeScript 类型系统为主题的挑战题库。仓库根目录的 README.ko.md本指南基于的多语言版本之一明确阐述了它的目标理解类型系统的工作机制通过亲手实现类型工具真正弄懂 conditional type、template literal type、infer、递归等高级特性的底层运作练习编写自己的类型工具不满足于会用而是能够写出属于自己的、可复用的类型工具库以挑战为乐题库本身就是一种游戏化的学习方式构建社区将实际工作中遇到的真问题带入社区互相帮助解决。项目还点明了学习价值正确声明类型可以避免潜在 bug并提升项目的可维护性。在类型层面做练习等于在编译期把错误拦截下来。仓库根目录的 README.md 及 README.zh-CN.md 等文件提供了英文、简体中文、日文、韩文、葡萄牙语共 5 种语言的版本scripts/locales.ts 中定义了en、zh-CN、ja、ko、pt-BR五个受支持语言环境方便不同母语的开发者以自己熟悉的语言阅读题目。难度分级五档挑战路径题库按难度分为五档每一档都配有专属的徽章颜色定义在 scripts/readme.ts 的DifficultyColors中从入门到极限循序渐进难度徽章颜色数量韩文版统计定位warm热身teal1极简单的开胃题如 13・Hello Worldeasy简单7aad0c绿色13掌握基础工具类型的实现思路medium普通d9901a橙色104覆盖各类实用场景是题库的核心体量hard困难de3d37红色55涉及高级技巧与复杂类型运算extreme极限b11b8d紫色17压榨类型系统的极限能力难度判定依据目录名的命名规范loadQuiz在 scripts/loader.ts 中通过dir.replace(/^\d-(.?)-.*$/, $1)从目录名中解析出难度标识例如00004-easy-pick即表示第 4 题、难度 easy。难度顺序warm easy medium hard extreme记录在DifficultyRank数组中。从数量上看medium 档是题库的绝对主体它覆盖了从数组操作、字符串处理到对象映射、数学运算等几乎一切日常类型编程场景也是绝大多数开发者练习的主战场。题目结构一道题由什么组成每一道题目都遵循统一的目录结构以经典的 4・Pick 为例questions/00004-easy-pick/ ├── README.md # 英文题目描述 ├── README.zh-CN.md # 中文题目描述 ├── README.ja.md / README.ko.md / README.pt-BR.md # 其他语言 ├── info.yml # 题目元信息难度、标签、作者、关联题目 ├── info.zh-CN.yml # 各语言版本的元信息 ├── template.ts # 答题模板初始为占位类型 └── test-cases.ts # 裁判用测试用例答题模板template.ts模板文件是你要修改的入口初始状态下通常是一个占位类型type MyPickT, K any你的任务就是把any替换为真正的类型实现。题目的 README 会给出需求说明与示例例如 4・Pick 要求不使用PickT, K从类型T中选出符合K的属性构造一个新的类型interface Todo { title: string description: string completed: boolean } type TodoPreview MyPickTodo, title | completed const todo: TodoPreview { title: Clean room, completed: false, }scripts/loader.ts 中的loadQuiz会按template.ts、test-cases.ts、README.md、info.yml的顺序装载每道题的完整内容它们是本地运行与在线裁判共用的数据来源。测试用例test-cases.ts裁判系统通过测试用例验证你的答案用例中大量使用type-challenges/utils提供的断言工具定义在 utils/index.d.ts。以 Pick 的用例为例import type { Equal, Expect } from type-challenges/utils type cases [ ExpectEqualExpected1, MyPickTodo, title, ExpectEqualExpected2, MyPickTodo, title | completed, // ts-expect-error MyPickTodo, title | completed | invalid, ] interface Todo { title: string description: string completed: boolean } interface Expected1 { title: string } interface Expected2 { title: string completed: boolean }可以看到用例不仅校验正确结果等于预期还通过ts-expect-error要求你的实现在传入不存在的键时主动报错。其中Equal是一个严格的类型相等判断utils/index.d.ts 中基于函数签名逆变比较实现ExpectT extends true则要求断言结果为字面量true从源码结构看这种组合能让任意微小的类型偏差都被编译期捕获。元信息info.yml每个题目目录下的info.yml记录标题、作者、标签、关联题目等信息。在 scripts/loader.ts 的loadInfo中tags与related字段会被按逗号拆分解析为数组这些数据同时驱动着首页按标签浏览和相关挑战两大导航模块。多语言版本的 info 文件通过resolveInfo与默认英文版本做合并实现英文兜底、本地化优先。题目目录190 道题的导航体系README 正文的核心是一张巨大的挑战清单它由 scripts/readme.ts 中的updateIndexREADME自动生成被!--challenges-start--与!--challenges-end--标记包裹。清单提供三种浏览方式按难度浏览主视图按DifficultyRank顺序排列每个难度标题下是所有题目徽章徽章点击即可直达对应题目 README按标签浏览折叠面板基于每道题的tags元信息聚合如#array、#string、#union、#template-literal、#recursion、#object、#infer、#promise、#tuple、#vue等。想集中训练某类技巧时这是最高效的入口纯文本列表折叠面板以ul列表形式平铺全部题目适合被工具抓取或在无样式环境下浏览。此外README 还提供了两个实战入口TypeScript Playground通过官方 Playground 插件直接在浏览器中编写和验证答案适合快速试错Upcoming challenges可以关注仓库 Issue 中标记new-challenge的提案抢先看到尚未收录的新题。推荐阅读官方文档之外的进阶资源README 在읽을거리 추천推荐阅读一节为不同阶段的学习者整理了资源其中官方文档部分是理解类型系统的基石包括TypeScript Handbook 中的**联合与交叉类型、字面量类型、实用工具类型、高级类型从已有类型派生新类型**四章官方新版 Handbook 源码仓库。此外还推荐了多篇深度文章涵盖学习高级 TypeScript 类型、类型编程的艺术、jQuery 风格的类型查询操作等主题以及一场从集合论视角理解 TypeScript 类型的讲座。仓库的 guides/ 目录还内置了多份中文指南如 infer.md、recursive.md、key-in.md另有对应中文版虽然部分仍标记为 TODO但它们为关键类型技巧提供了专题讲解可作为刷题过程中的即时参考。如何开始你的第一道题Hello World最友好的起点是热身题 13・Hello World。它的模板极为简单type HelloWorld any // expected to be a string目标只有一个让HelloWorld成为string类型。这道题的作用是让你跑通读题 → 改模板 → 验证的完整闭环后续所有题目都沿用这一流程。推荐的学习路径是按难度顺序完成 warm 与 easy 档如 Pick、Readonly、Tuple to Object、First of Array、Length of Tuple、Exclude、Awaited、If、Concat、Includes、Push、Unshift、Parameters再按薄弱标签在 medium 档集中训练。easy 档的题目虽然简单但每一道都对应一个真实的内置工具类型是实现能力的地基。如何运行与验证你的答案要本地验证解题需要先安装依赖。项目使用 pnpm 管理packageManager: pnpm8.12.1并在 package.json 中提供了多个脚本命令作用pnpm install安装全部依赖含工作区内的type-challenges/utilspnpm lint运行 ESLint 检查代码风格pnpm build构建项目esno ./scripts/build.tspnpm generate生成本地 Playgroundesno ./scripts/generate-play.tspnpm readme重新生成所有 READMEesno ./scripts/readme.tspnpm translate运行翻译 CLIesno ./scripts/translate-cli.ts其中与刷题最相关的是pnpm generate。从 scripts/generate-play.ts 的源码可以看到它会遍历所有题目读取模板与元信息按难度归档为每题生成一个独立的.ts文件到本地playground/目录对你能在本地完整跑通类型检查的题目你可以直接在生成的 playground 文件里编写答案。生成器还考虑到了防丢失保护它会基于文件哈希SHA-1记录快照.playgroundcache在--keep-changes或-K模式下只有未被你修改过的文件才会被覆盖防止重新生成时冲掉你的解题进度对应isQuizWritable与calculateOverridableFiles的实现逻辑。验证答案的正确姿势是将template.ts中的实现替换为你的答案后让 TypeScript 编译器针对test-cases.ts做类型检查。只要用例中的ExpectEqual...全部通过、且ts-expect-error行确实报错就说明你的实现正确。README 中的接受挑战徽章链接也指向带类型检查的在线 Playground两种方式结果一致。参与贡献让题库变得更好README 的기여 방법贡献方法一节列出了多种参与方式覆盖从内容到基础设施的各个层面分享你的解答或解题思路提出新的挑战题目为已有题目补充测试用例提供学习资源或解题思路分享你在实际工作中遇到的类型难题无论是否已有答案让社区一起解决在 Issue 中参与讨论、帮助他人参与项目基础设施开发参见 TODOs.md。若想提交内容可直接通过仓库的 Issue 新建流程选择合适的模板。需要注意的是题目的 README 头部与尾部由脚本自动维护从 scripts/readme.ts 的insertInfoReadme可以看到它会以!--info-header-start--与!--info-footer-end--标记为边界自动注入标题、难度徽章、标签、作者信息、语言切换链接、接受挑战/分享解答/查看解答入口以及相关挑战推荐手动修改这些区域会在下次运行pnpm readme时被覆盖。结语把类型系统当作一门可以刻意练习的技艺type-challenges 把 TypeScript 类型系统从工具书的某个章节变成了一座阶梯式的训练场从热身题到极限题、从单一技巧到组合应用190 余道题目构成了完整的类型能力成长路径。这个项目以 MIT 协议开源见仓库根目录 LICENSE最初起源于作者与几位同事在解决真实类型问题时的交流。无论你是想夯实类型基础、备战类型面试还是单纯享受在类型层面解决问题的乐趣都可以从打开 13・Hello World 开始亲手完成属于你的第一个类型挑战。赞分享示例工程【免费下载链接】type-challengesCollection of TypeScript type challenges with online judge项目地址https://gitcode.com/GitHub_Trending/ty/type-challenges点击查看免费下载相关推荐type-challenges在 TypeScript 类型系统上刷题练级——从 Hello World 到 Extreme 的完整指南type challenges在 TypeScript 类型系统上刷题练级——从 Hello World 到 Extreme 的完整指南 本文围绕开源仓库 R示例工程Type Challengestype-challenges在 TypeScript 类型系统上刷题通关的完整指南Type Challengestype challenges在 TypeScript 类型系统上刷题通关的完整指南 Type Challenges 是一个示例工程从入门到精通Type-Challenges 中的 Readonly 类型完全指南从入门到精通Type Challenges 中的 Readonly 类型完全指南 你是否在 TypeScript 开发中遇到过这样的困扰明明定义了一个对象示例工程创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考