「TS类型体操」入门「TS类型体操」是一个 TypeScript 的题库，类似于 leetcode 的做题机制，通过做题

概念

「TS类型体操」是一个 TypeScript 的题库，类似于 leetcode 的做题机制，通过做题能更好地了解 TS 的类型系统，在工作中编写出更优雅的类型工具🔧。

规则

1. 编写类型

在 template.ts 中编写你的 TypeScript 代码。

2. 测试

编写完成以后，打开 test-cases.ts 检查是否报错，如果没有报错，则本解法通过。

热身

下面用一道入门题目来体会一下「TS类型体操」。

题目链接

Hello World

解题

编写类型

本题将 HelloWorld 类型赋值成 string 即可。

type HelloWorld = string // expected to be a string

测试

import type { Equal, Expect, NotAny } from '@type-challenges/utils'

// 下面没有标红就是通过了✅

type cases = [
  // HelloWorld 不能是 any
  Expect<NotAny<HelloWorld>>,
  // HelloWorld 等于 string
  Expect<Equal<HelloWorld, string>>,
]