API Reference

get-typescript

• 编辑器

hello-typescript

what-is-typescript

• TypeScript 的特性
• 总结
• 附：TypeScript 的发展历史
• 参考资料

why-typescript

• 为什么选择 TypeScript

any

• 什么是任意值类型
• 任意值的属性和方法
• 未声明类型的变量
• 参考

built-in-objects

• ECMAScript 的内置对象
• DOM 和 BOM 的内置对象
• TypeScript 核心库的定义文件
• 用 TypeScript 写 Node.js
• 参考

declaration-files

• 新语法索引
• 什么是声明语句
• 什么是声明文件
• 书写声明文件
• 发布声明文件
• 参考

primitive-data-types

• 布尔值
• 数值
• 字符串
• 空值
• Null 和 Undefined
• 参考

type-assertion

• 语法
• 类型断言的用途
• 类型断言的限制
• 双重断言
• 类型断言 vs 类型转换
• 类型断言 vs 类型声明
• 类型断言 vs 泛型
• 参考

type-inference

• 什么是类型推论
• 参考

type-of-array

• 「类型 + 方括号」表示法
• 数组泛型
• 用接口表示数组
• 类数组
• any 在数组中的应用
• 参考

type-of-function

• 函数声明
• 函数表达式
• 用接口定义函数的形状
• 可选参数
• 参数默认值
• 剩余参数
• 重载
• 参考

type-of-object-interfaces

• 什么是接口
• 简单的例子
• 可选属性
• 任意属性
• 只读属性
• 参考

union-types

• 简单的例子
• 访问联合类型的属性或方法
• 参考

class

• 类的概念
• ES6 中类的用法
• ES7 中类的用法
• TypeScript 中类的用法
• 类的类型
• 参考

class-and-interfaces

• 类实现接口
• 接口继承接口
• 接口继承类
• 参考

declaration-merging

• 函数的合并
• 接口的合并
• 类的合并
• 参考

decorator

• 什么是装饰器
• 装饰器的使用场景
• 装饰器的类别
• context 与 metadata 二三讲

enum

• 简单的例子
• 手动赋值
• 常数项和计算所得项
• 常数枚举
• 外部枚举
• 参考

further-reading

generics

• 简单的例子
• 多个类型参数
• 泛型约束
• 泛型接口
• 泛型类
• 泛型参数的默认类型
• 参考

string-literal-types

• 简单的例子
• 参考

tuple

• 简单的例子
• 越界的元素
• 参考

type-aliases

• 简单的例子
• 参考

compiler-options

• allowJs
• allowSyntheticDefaultImports

lint

• 什么是代码检查
• 为什么需要代码检查
• 在 TypeScript 中使用 ESLint
• Troubleshootings

ambient

• 声明文件
• 变量

ast

• AST 技巧：访问子节点
• AST 技巧：SyntaxKind 枚举
• AST 杂项

avoidExportDefault

• 可发现性差
• 自动完成
• CommonJS 互用
• 防止拼写错误
• 再次导出
• 动态导入

barrel

• 命名导出

bind

• 类成员

binder

• 绑定器函数
• 绑定器声明
• 绑定器容器
• 绑定器符号表
• 绑定器错误报告

buildToggles

callable

• 一个实际的例子
• 箭头函数
• 可实例化

checker

• 全局命名空间合并
• 检查器错误报告

class

• 为什么这些空类的行为很奇怪？
• 什么是名义上的类
• 为什么在我的实例方法中，this 成了一个「孤儿」？
• 当 Bar 是一个 class 时，Bar 和 typeof Bar 有什么区别？
• 为什么我的子类属性初始值设定会覆盖基类构造函数中设置的值？
• 声明类和接口有什么区别？
• 接口继承类，意味着什么？
• 为什么我会得到错误：TypeError: [base class name] is not defined in __extends？
• 为什么我会得到 TypeError: Cannot read property 'prototype' of undefined" in __extends 的错误？
• 为什么不扩展 Error、Array、Map 内置函数？

classAreUseful

commandline-behavior

• 如何控制输出文件中的排序（-- out）？
• Exported variable [name] has or is using private name [name] 是什么错误？
• 为什么添加 --outDir 属性后，当在添加一个新文件时，会把所有的输出删除

comments

common

• TS2304
• TS2307
• TS1148
• 捕获不能有类型注解的简短变量
• 接口 ElementClass 不能同时扩展类型别名 Component 和 Component

common-bug-not-bugs

common-feature-request

compilationContext

• tsconfig.json
• 指定文件

covarianceAndContravariance

• 一个有趣的问题
• 展开讲讲？
• 那其他类型呢？

createArrays

curry

declarationspaces

• 类型声明空间
• 变量声明空间

decorators

discrominatedUnion

• 详细的检查
• Switch
• strictNullChecks
• Redux

dynamicImportExpressions

emitter

• 发射器函数
• 发射器源映射（SourceMaps）

enums

• 数字类型枚举与数字类型
• 数字类型枚举与字符串类型
• 改变与数字枚举关联的数字
• 使用数字类型作为标志
• 字符串枚举
• 常量枚举
• 有静态方法的枚举
• 开放式枚举

exceptionsHanding

• 错误子类型
• 使用 Error
• 你并不需要 throw 抛出一个错误
• 优秀的用例

freshness

• 允许额外的属性
• 用例：React State

function

• 为什么我不能在解构函数 function f({ x: number }) { /* ... */ } 中使用 x？

functionParameters

functions

• 参数注解

generices

• 动机和示例
• 误用的泛型
• 设计模式：方便通用

generics

• 通过接口 A<T>，为什么 A<string> 可赋值给 A<number>？
• 为什么类型接口不能在这个接口上运行: interface Foo<T> { }?
• 为什么不要在泛型函数中写 typeof T、new T, 或者 instanceof T？

glossary-and-terms

indexSignatures

• TypeScript 索引签名
• 声明一个索引签名
• 所有成员都必须符合字符串的索引签名
• 使用一组有限的字符串字面量
• 同时拥有 string 和 number 类型的索引签名
• 设计模式：索引签名的嵌套
• 索引签名中排除某些属性

infer

• 介绍
• 内置类型
• 一些用例
• LeetCode 的一道 TypeScript 面试题

interfaces

• 类可以实现接口
• 注意

interpreting

• 错误分类
• 详细
• 在 IDE 中怎么提示

jsx-and-react

• 我写了声明 declare var MyComponent: React.Component，为什么我不能写 <MyComponent />

lazyObjectLiteralInitialization

• 最好的解决方案
• 快速解决方案
• 折中的解决方案

lib

• 使用例子
• 观察 lib.d.ts 的内容
• 修改原始类型
• 使用你自己定义的 lib.d.ts
• 编译目标对 lib.d.ts 的影响
• --lib 选项
• 在旧的 JavaScript 引擎时使用 Polyfill

limitPropertySetters

literals

• 字符串字面量
• 其他字面量类型
• 推断
• 使用用例
• 辨析联合类型

metadata

• 基础
• 获取类型信息
• 自定义 metadataKey
• 例子

migrating

• 减少错误
• 第三方代码
• 第三方的 NPM 模块
• 额外的非 JavaScript 资源

mixins

• 创建一个构造函数
• 扩展一个类并且返回它

modules

• 全局模块
• 文件模块
• 文件模块详情
• global.d.ts

movingTypes

• 复制类型和值
• 捕获变量的类型
• 捕获类成员的类型
• 捕获字符串类型
• 捕获键的名称

namespaces

neverType

• 用例：详细的检查
• 与 void 的差异

nominalTyping

• 使用字面量类型
• 使用枚举
• 使用接口

nonReactJSX

• jsxFactory

outFileCaution

• 运行时的错误
• 快速编译
• 全局作用域
• 难以分析
• 难以扩展
• _references.ts
• 代码重用
• 多目标
• 单独编译
• 总结

overview

• TypeScript 类型系统
• 基本注解
• 原始类型
• 数组
• 接口
• 内联类型注解
• 特殊类型
• 泛型
• 联合类型
• 交叉类型
• 元组类型
• 类型别名
• 最后

parser

• 解析器函数

program

• CompilerHost 的使用
• SourceFile

reactJSX

• 建立
• HTML 标签 vs 组件
• 类型检查
• 默认 Props

readonly

• Readonly
• 其他的使用用例
• 与 const 的不同

scanner

• 解析器对扫描器的使用
• 扫描器状态
• 独立扫描器

singletonPatern

statefulFunctions

staticConstructors

stringBasedEmuns

support

thing-that-dont-work

• 你应该像这样发出一些类，以便于他们拥有真正的私有成员
• 你应该发出这样的类，这样它们就不会在回调函数中丢失 this

thisType

truthy

• 明确的

tsconfig-behavior

• 为什么把一个文件放入「exclude」选项中，它仍然会被编译器选中？
• 我怎么指定一个 include？
• 当我使用 JavaScript 文件时，为什么我会得到 error TS5055: Cannot write file 'xxx.js' because it would overwrite input file 错误？

typeAssertion

• as foo 与 <foo>
• 类型断言与类型转换
• 类型断言被认为是有害的
• 双重断言

typeCompatibility

• 安全性
• 结构化
• 变体
• 函数
• 枚举
• 类
• 泛型
• 脚注：不变性（Invariance）

typeGuard

• typeof
• instanceof
• in
• 字面量类型保护
• 使用定义的类型保护

type-guards

• 为什么 x instanceof Foo 不能将 x 的类型缩小至 Foo？

typeInference

• 定义变量
• 函数返回类型
• 赋值
• 结构化
• 解构
• 类型保护
• 警告

typeInstantiation

• 继承

types

• 使用 @types
• 控制全局

typesafeEventEmitter

• 参考 TypedEvent

typescript-3.7

• 可选链（Optional Chaining）
• Nullish Coalescing
• 断言函数
• 更好的支持返回函数的 never
• 递归的类型别名
• --declaration and --allowJs
• useDefineForClassFields 标记与 declare 属性修饰符
• 编辑有项目引用的项目，无需构建
• 没有调用的函数检查

typescript-3.8

• 仅仅导入/导出声明
• ECMAScript 私有字段
• export * as ns 语法
• Top-Level await
• JSDoc 属性修饰符
• watchOptions
• “快速和宽松”的增量检查

typescript-3.9

type-system-behavior

• 什么是结构化类型？
• 什么是类型删除？
• 为什么没有 setter 时的 getter，没有被认为是只读？
• 为什么函数参数是双向协变？
• 为什么有更少参数的函数能够赋值给具有更多参数的函数？
• 为什么一个返回值不是 void 的函数，可以赋值给一个返回值为 void 的函数？
• 为什么所有的类型，都能赋值给一个空的接口？
• 我可以用名义上的类型别名吗？
• 如何防止两种类型在结构上兼容？
• 如果对象实现了某个接口，我怎么在运行时检查？
• 为什么错误的转化不会引起运行时的错误？
• 为什么我没有为 (number) => string 或者 (T) => T 进行类型检查？
• 为什么我会得到 Supplied parameters do not match any signature 的错误？