type

// ts自带类型推论，此时推论为string，要修改类型推论的话就自定义类型
let str = '456'
// str = 456 // 赋值数字会报错
let str1 // 不定义会自动推论为any

// type可以自定义名称，指定各种类型
type a = {}
type b = []
type f = 1234
// type可以使用交叉、联合符号
type c = string | number
type d = a & b

// type可以使用extends，用作三目判断
type g = number extends Object ? number : null  // type g = number
type h = 1 extends any ? number : null