030-高级类型

• 类型推断
• 类型守卫
• 索引类型
• 工具类型
• 类型操作符
• 返回类型随参数变化