110 - Capitalize

实现 Capitalize<T> 它将字符串的第一个字母转换为大写，其余字母保持原样。

例如

type capitalized = Capitalize<'hello world'> // expected to be 'Hello world'

Solution

type MyCapitalize<S extends string> = S extends `${infer Head}${infer Tail}`
  ? `${Uppercase<Head>}${Tail}`
  : S

通过 infer 提取出首字母和剩余字符串, 再通过 Uppercase将首字母大小, 最后拼接剩余字符串返回

ts 内部 Uppercase 定义如下

type Uppercase<S extends string> = intrinsic;

intrinsic 表明了这个类型定义是由 ts 编译器内部提供的，而不是用 ts 代码实现