• 提升 hoisting raising
• 层次结构 hierarchy
• 多态性 polymorphic
• 语言级 language-level
• 顶级作用域 top-level scope
• 立即调用函数表达式 immediately-invoked function expressions，IIFE
• 递归 recursive
• 副作用 side-effect
• 裸模块 “bare” module
• 打包工具 bundle tool
• 钩子 hook
• 打包函数 bundler function
• 删除未使用的导出 “tree-shaking” 。
• 源 域/协议/端口
• 捕捉器 traps
• 奇异对象 exotic object
• 不变量 Invariant
• 类型注解 type annotations
• 签名 (signature)
• 常见类型 Everyday Types
• 原始类型：The primitives
• 上下文推断 contextual typing
• 联合类型 Union Type
• 类型别名 type alias
• 接口声明 interface declaration
• 控制流分析 Control flow analysis
• 可达性(reachability)
• 类型判断式(type predicates)
• 类型断言 Type Assertion
• 可辨别联合 Discriminated unions
• 穷尽检查 Exhaustiveness checking
• 属性修饰符 Property Modifiers
• 可选属性 Optional Properties
• 约束 Constraints