Merge pull request zhongsp#24 from zhongsp/review

Update handbook

Author: zhongsp

doc/handbook/Advanced Types.md

@@ -99,8 +99,8 @@ pet.swim();    // errors
 这里的联合类型可能有点复杂，但是你很容易就习惯了。
 如果一个值类型是`A | B`，我们只能*确定*它具有成员同时存在于`A`*和*`B`里。
 这个例子里，`Bird`具有一个`fly`成员。
-我们能不确定一个`Bird | Fish`类型的变量是否有`fly`方法。
-如果变量在运行时真是`Fish`，那么调用`pet.fly()`就出错了。
+我们不能确定一个`Bird | Fish`类型的变量是否有`fly`方法。
+如果变量在运行时是`Fish`类型，那么调用`pet.fly()`就出错了。
 
 # 类型保护与区分类型
 
@@ -170,8 +170,8 @@ else {
 
 ## `typeof`类型保护
 
-我们还没有真正的展示使用联合类型来实现`padLeft`的版本。
-我们可以像下面这样使用类型断言来写：
+我们还没有真正的展示过如何使用联合类型来实现`padLeft`。
+我们可以像下面这样利用类型断言来写：
 
 ```ts
 function isNumber(x: any): x is number {
@@ -217,7 +217,7 @@ function padLeft(value: string, padding: string | number) {
 如果你已经阅读了`typeof`类型保护并且对JavaScript里的`instanceof`操作符熟悉的话，你可能已经猜到了这节要讲的内容。
 
 *`instanceof`类型保护*是通过其构造函数来细化其类型。
-比如，我们借鉴一下之前字符串补充的例子：
+比如，我们借鉴一下之前字符串填充的例子：
 
 ```ts
 interface Padder {
@@ -282,7 +282,7 @@ let coord: CoordList = [{ x: 10, y: 10}, { x: 0, y: 42, z: 10 }, 5];
 所以`10`是绝对有效的`XCoord`和`YCoord`，因为它们都引用`number`。
 给原始类型起别名通常没什么用，尽管可以做为文档的一种形式使用。
 
-像接口一起，类型别名也可以是泛型 - 我们可以添加类型参数并且在别名声明的右侧传入：
+同接口一样，类型别名也可以是泛型 - 我们可以添加类型参数并且在别名声明的右侧传入：
 
 ```ts
 type Container<T> = { value: T };

doc/handbook/Variable Declarations.md

@@ -12,13 +12,13 @@
 
 # `var` 声明
 
-一直以来我们都是通过`var`关键字在JavaScript时定义变量。
+一直以来我们都是通过`var`关键字定义JavaScript变量。
 
 ```ts
 var a = 10;
 ```
 
-大家都懂，这里定义了一个名是`a`值为`10`的变量。
+大家都能理解，这里定义了一个名为`a`值为`10`的变量。
 
 我们也可以在函数内部定义变量：
 
@@ -191,7 +191,7 @@ let hello = "Hello!";
 
 ## 块作用域
 
-当用`let`声明一个变量，它使用的是*记法作用域*或*块作用域*。
+当用`let`声明一个变量，它使用的是*词法作用域*或*块作用域*。
 不同于使用`var`声明的变量那样可以在包含它们的函数外访问，块作用域变量在包含它们的块或`for`循环之外是不能访问的。
 
 ```ts
@@ -226,8 +226,8 @@ catch (e) {
 console.log(e);
 ```
 
-块级作用域的变量另一个特点是，它们不能在被声明之前读或写。
-虽然这些变量始终“存在”于它们的作用域里，但在直到声明它的的代码之前的区域都属于*时间死区*。
+拥有块级作用域的变量的另一个特点是，它们不能在被声明之前读或写。
+虽然这些变量始终“存在”于它们的作用域里，但在直到声明它的代码之前的区域都属于*时间死区*。
 它只是用来说明我们不能在`let`语句之前访问它们，幸运的是TypeScript可以告诉我们这些信息。
 
 ```ts
@@ -236,7 +236,7 @@ let a;
 ```
 
 注意一点，我们仍然可以在一个拥有块作用域变量被声明前*获取*它。
-只是我不能在变量声明前去调用那个函数。
+只是我们不能在变量声明前去调用那个函数。
 如果生成代码目标为ES2015，现代的运行时会抛出一个错误；然而，现今TypeScript是不会报错的。
 
 ```ts
@@ -278,7 +278,7 @@ let x = 10;
 let x = 20; // 错误，不能在1个作用域里多次声明`x`
 ```
 
-并不是要求两个均是块级作用域的声明TypeScript才会给出一个错误的提醒。
+并不是要求两个均是块级作用域的声明TypeScript才会给出一个错误的警告。
 
 ```ts
 function f(x) {