diff --git a/README.md b/README.md
index 296f92b..8e925d3 100755
--- a/README.md
+++ b/README.md
@@ -2,9 +2,9 @@
 
 [![Build Status](https://travis-ci.org/zhongsp/TypeScript.svg?branch=master)](https://travis-ci.org/zhongsp/TypeScript) [![PRs Welcome](https://img.shields.io/badge/PRs-welcome-brightgreen.svg?style=flat-square)](http://makeapullrequest.com)
 
-<img src="./misc/ts_logo.jpg" alt="TypeScript" width="24px" height="24px" style="vertical-align: bottom;">  [TypeScript 3.1 (September 27, 2018)](https://blogs.msdn.microsoft.com/typescript/2018/09/27/announcing-typescript-3-1/)
+<img src="./misc/ts_logo.jpg" alt="TypeScript" width="24px" height="24px" style="vertical-align: bottom;">  [TypeScript 3.6 (August 28th, 2019)](https://devblogs.microsoft.com/typescript/announcing-typescript-3-6/)
 |
-[版本发布说明](./doc/release-notes/TypeScript%203.1.md)
+[版本发布说明](./doc/release-notes/TypeScript%203.6.md)
 
 :heavy_check_mark: TypeScript语言用于大规模应用的JavaScript开发。  :heavy_check_mark: TypeScript支持类型，是JavaScript的超集且可以编译成纯JavaScript代码。  :heavy_check_mark: TypeScript兼容所有浏览器，所有宿主环境，所有操作系统。  :heavy_check_mark: TypeScript是开源的。
 
@@ -77,6 +77,7 @@
   * [发展路线图](./doc/wiki/Roadmap.md)
 * [新增功能](./doc/release-notes/README.md)
   * [TypeScript 3.6](./doc/release-notes/TypeScript%203.6.md)
+  * [TypeScript 3.5](./doc/release-notes/TypeScript%203.5.md)
   * [TypeScript 3.3](./doc/release-notes/TypeScript%203.3.md)
   * [TypeScript 3.2](./doc/release-notes/TypeScript%203.2.md)
   * [TypeScript 3.1](./doc/release-notes/TypeScript%203.1.md)
diff --git a/SUMMARY.md b/SUMMARY.md
index fd2d682..fa4d390 100644
--- a/SUMMARY.md
+++ b/SUMMARY.md
@@ -61,6 +61,7 @@
   * [发展路线图](./doc/wiki/Roadmap.md)
 * [新增功能](./doc/release-notes/README.md)
   * [TypeScript 3.6](./doc/release-notes/TypeScript 3.6.md)
+  * [TypeScript 3.5](./doc/release-notes/TypeScript 3.5.md)
   * [TypeScript 3.3](./doc/release-notes/TypeScript 3.3.md)
   * [TypeScript 3.2](./doc/release-notes/TypeScript 3.2.md)
   * [TypeScript 3.1](./doc/release-notes/TypeScript 3.1.md)
diff --git a/doc/release-notes/README.md b/doc/release-notes/README.md
index a4380c4..fc7036f 100644
--- a/doc/release-notes/README.md
+++ b/doc/release-notes/README.md
@@ -1,6 +1,7 @@
 # TypeScript 新增内容
 
 * [TypeScript 3.6](./TypeScript%203.6.md)
+* [TypeScript 3.5](./TypeScript%203.5.md)
 * [TypeScript 3.3](./TypeScript%203.3.md)
 * [TypeScript 3.2](./TypeScript%203.2.md)
 * [TypeScript 3.1](./TypeScript%203.1.md)
diff --git a/doc/release-notes/TypeScript 3.5.md b/doc/release-notes/TypeScript 3.5.md
new file mode 100644
index 0000000..91c36ed
--- /dev/null
+++ b/doc/release-notes/TypeScript 3.5.md	
@@ -0,0 +1,226 @@
+# TypeScript 3.5
+
+## 改进速度
+
+TypeScript 3.5 为类型检查和增量构建采用了几个优化。
+
+### 类型检查速度提升
+
+TypeScript 3.5 包含对 TypeScript 3.4 的某些优化，可以更高效地进行类型检查。
+在代码补全列表等类型检查驱动的操作上，这些改进效果显著。
+
+### 改进 `--incremental`
+
+TypeScript 3.5 通过缓存计算状态的信息（编译器设置、寻找文件的原因、文件在哪里被找到等等），改进了在 3.4 中的 `--incremental` 构建模式。[我们发现重新构建花费的时间比 TypeScript 3.4 减少了 68%](https://github.com/Microsoft/TypeScript/pull/31101)!
+
+有关更多信息，你可以查看这些 pull requests
+
+* [缓存模块解析](https://github.com/Microsoft/TypeScript/pull/31100)
+* [缓存 `tsconfig.json` 计算](https://github.com/Microsoft/TypeScript/pull/31101)
+
+## `Omit` 辅助类型
+
+TypeScript 3.5 添加了新的 `Omit` 辅助类型，这个类型用来创建从原始类型中移除了某些属性的新类型。
+
+```ts
+type Person = {
+  name: string;
+  age: number;
+  location: string;
+};
+
+type QuantumPerson = Omit<Person, "location">;
+
+// 相当于
+type QuantumPerson = {
+  name: string;
+  age: number;
+};
+```
+
+使用 `Omit` 辅助，我们有能力复制 `Person` 中除了 `location` 之外的所有属性。
+
+有关更多细节，[在 GitHub 查看添加 `Omit` 的 pull request](https://github.com/Microsoft/TypeScript/pull/30552), 以及[有关剩余对象使用 `Omit` 的更改](https://github.com/microsoft/TypeScript/pull/31134)。
+
+### 改进了联合类型中多余属性的检查
+
+在 TypeScript 3.4 及之前的版本中，会出现确实不应该存在的多余属性却被允许存在的情况。
+例如，TypeScript 3.4 在对象字面量上允许不正确的 `name` 属性，甚至它的类型在 `Point` 和 `Label` 之中都不匹配。
+
+```ts
+type Point = {
+  x: number;
+  y: number;
+};
+
+type Label = {
+  name: string;
+};
+
+const thing: Point | Label = {
+  x: 0,
+  y: 0,
+  name: true // uh-oh!
+};
+```
+
+以前，一个无区别的联合在它的成员上不会进行*任何*多余属性的检查，结果，类型错误的 `name` 属性溜了进来。
+
+在 TypeScript 3.5 中，类型检查器至少会验证所有提供的属性属于*某个*联合类型的成员，且类型恰当，这意味着，上面的例子会正确的进行错误提示。
+
+注意，只要属性类型有效，仍允许部分重叠。
+
+```ts
+const pl: Point | Label = {
+  x: 0,
+  y: 0,
+  name: "origin" // okay
+};
+```
+
+## `--allowUmdGlobalAccess` 标志
+
+在 TypeScript 3.5 中，使用新的 `--allowUmdGlobalAccess` 标志，你现在可以从任何位置引用全局的 UMD 申明——甚至模块。
+
+```ts
+export as namespace foo;
+```
+
+此模式增加了混合和匹配第三方库的灵活性，其中库声明的全局变量总是可以被使用，甚至可以从模块内部使用。
+
+有关更多细节，[查看 GitHub 上的 pull request](https://github.com/Microsoft/TypeScript/pull/30776/files)。
+
+## 更智能的联合类型检查
+
+在 TypeScript 3.4 以及之前的版本中，下面的例子会无效：
+
+```ts
+type S = { done: boolean, value: number }
+type T =
+  | { done: false, value: number }
+  | { done: true, value: number };
+
+declare let source: S;
+declare let target: T;
+
+target = source;
+```
+
+这是因为 `S` 无法被分配给 `{ done: false, value: number }` 或者 `{ done: true, value: number }`。
+为啥？
+因为属性 `done` 在 `S` 不够具体——他是 `boolean`。而 `T` 的的每个成员有一个明确的为 `true` 或者 `false` 属性 `done`。
+
+这就是我们单独检查每个成员的意义：TypeScript 不只是将每个属性合并在一起，看看是否可以赋予 `S` 。
+
+如果这样做，一些糟糕的代码可能会像下面这样：
+
+```ts
+interface Foo {
+  kind: "foo";
+  value: string;
+}
+
+interface Bar {
+  kind: "bar";
+  value: number;
+}
+
+function doSomething(x: Foo | Bar) {
+  if (x.kind === "foo") {
+    x.value.toLowerCase();
+  }
+}
+
+// uh-oh - 幸运的是， TypeScript 在这里会提示错误!
+doSomething({
+  kind: "foo",
+  value: 123,
+});
+```
+
+然而，对于原始的例子，这有点过于严格。
+如果你弄清除 `S` 的任何可能值的精确类型，你实际上可以看到它与 `T` 中的类型完全匹配。
+
+在 TypeScript 3.5 中，当分配具有辨别属性的类型时，如 `T`，实际上*将*进一步将类似 `S` 的类型分解为每个可能的成员类型的并集。
+在这种情况下，由于 `boolean` 是 `true` 和 `false` 的联合，`S` 将被视为 `{done：false，value：number}` 和 `{done：true，value：number }`。
+
+有关更多细节，你可以[在 GitHub 上查看原始的 pull request](https://github.com/microsoft/TypeScript/pull/30779)。
+
+## 泛型构造函数的高阶类型推断
+
+在 TypeScript 3.4 中，我们改进了对返回函数的泛型函数的推断：
+
+```ts
+function compose<T, U, V>(f: (x: T) => U, g: (y: U) => V): (x: T) => V {
+  return x => g(f(x))
+}
+```
+
+将其他泛型函数作为参数，如下所示：
+
+```ts
+function arrayify<T>(x: T): T[] {
+  return [x];
+}
+
+type Box<U> = { value: U }
+function boxify<U>(y: U): Box<U> {
+  return { value: y };
+}
+
+let newFn = compose(arrayify, boxify);
+```
+
+TypeScript 3.4 的推断允许 `newFn` 是泛型的。它的新类型是 `<T>（x：T）=> Box <T []>`。而不是旧版本推断的，相对无用的类型，如 `（x：{}）=> Box <{} []>`。
+
+TypeScript 3.5 在处理构造函数的时候推广了这种行为。
+
+```ts
+class Box<T> {
+  kind: "box";
+  value: T;
+  constructor(value: T) {
+    this.value = value;
+  }
+}
+
+class Bag<U> {
+  kind: "bag";
+  value: U;
+  constructor(value: U) {
+    this.value = value;
+  }
+}
+
+function composeCtor<T, U, V>(F: new (x: T) => U, G: new (y: U) => V): (x: T) => V {
+  return x => new G(new F(x))
+}
+
+let f = composeCtor(Box, Bag); // 拥有类型 '<T>(x: T) => Bag<Box<T>>'
+let a = f(1024); // 拥有类型 'Bag<Box<number>>'
+```
+
+除了上面的组合模式之外，这种对泛型构造函数的新推断意味着在某些 UI 库（如 React ）中对类组件进行操作的函数可以更正确地对泛型类组件进行操作。
+
+```ts
+type ComponentClass<P> = new (props: P) => Component<P>;
+declare class Component<P> {
+  props: P;
+  constructor(props: P);
+}
+
+declare function myHoc<P>(C: ComponentClass<P>): ComponentClass<P>;
+
+type NestedProps<T> = { foo: number, stuff: T };
+
+declare class GenericComponent<T> extends Component<NestedProps<T>> { }
+
+// 类型为 'new <T>(props: NestedProps<T>) => Component<NestedProps<T>>'
+const GenericComponent2 = myHoc(GenericComponent);
+```
+
+想学习更多，[在 GitHub 上查看原始的 pull requet](https://github.com/microsoft/TypeScript/pull/31116)。
+
+## 参考
+
+* [原文](https://github.com/microsoft/TypeScript-Handbook/blob/master/pages/release%20notes/TypeScript%203.5.md)
diff --git a/preface.md b/preface.md
index f7c3cd5..1494176 100644
--- a/preface.md
+++ b/preface.md
@@ -81,6 +81,7 @@ TypeScript目前还在积极的开发完善之中，不断地会有新的特性
   * [发展路线图](./doc/wiki/Roadmap.html)
 * [新增功能](./doc/release-notes/README.html)
   * [TypeScript 3.6](./doc/release-notes/TypeScript 3.6.html)
+  * [TypeScript 3.5](./doc/release-notes/TypeScript 3.5.html)
   * [TypeScript 3.3](./doc/release-notes/TypeScript 3.3.html)
   * [TypeScript 3.2](./doc/release-notes/TypeScript 3.2.html)
   * [TypeScript 3.1](./doc/release-notes/TypeScript 3.1.html)