TypeScript 是由 Microsoft 自研的一款全新开放世界冒险编程语言。你将探索一个被称作「Type」的幻想世界。在这广阔的世界中，你可以踏遍 Object，邂逅性格各异、能力独特的 Utility Types，与他们一同对抗 any | unknown，踏上寻回 type annotation 之路；也可以不带目的地漫游，沉浸在充满生机的 Promise 里，让好奇心驱使自己发掘各个角落的 undefined ……直到你与分离的 interface 重聚，在终点见证一切 never 的 types are uncompatible。