整理 introduction

Author: xcatliu

.github/workflows/gh-pages.yml

@@ -17,7 +17,7 @@ jobs:
           export DENO_INSTALL="/home/runner/.deno"
           export PATH="$DENO_INSTALL/bin:$PATH"
           deno --version
-          deno install --unstable --allow-read --allow-write --allow-net -n pagic https://deno.land/x/[email protected].26/mod.ts
+          deno install --unstable --allow-read --allow-write --allow-net -n pagic https://deno.land/x/[email protected].28/mod.ts
           pagic build
 
       - name: Deploy

README.md

@@ -36,7 +36,7 @@ TypeScript 虽然有[官方手册][Handbook]及其[非官方中文版][中文手
 
 [TypeScript] 是 JavaScript 的一个超集，主要提供了**类型系统**和**对 ES6 的支持**，它由 Microsoft 开发，代码[开源于 GitHub](https://github.com/Microsoft/TypeScript) 上。
 
-它的第一个版本发布于 2012 年 10 月，经历了多次更新后，现在已成为前端社区中不可忽视的力量，不仅在 Microsoft 内部得到广泛运用，而且 Google 的 [Angular2](https://angular.io/) 也使用了 TypeScript 作为开发语言。
+它的第一个版本发布于 2012 年 10 月，经历了多次更新后，现在已成为前端社区中不可忽视的力量，不仅在 Microsoft 内部得到广泛运用，而且 Google 开发的 [Angular](https://angular.io/) 从 2.0 开始就使用了 TypeScript 作为开发语言，[Vue](https://vuejs.org/) 3.0 也使用 TypeScript 进行了重构。
 
 ## 适合人群
 
@@ -54,7 +54,7 @@ TypeScript 虽然有[官方手册][Handbook]及其[非官方中文版][中文手
 
 ## 评价
 
-> 《TypeScript 入门教程》全面介绍了 TS 强大的类型系统，完整而简洁，示例丰富，比官方文档更易读，非常适合作为初学者学习 TS 的第一本书。
+> 《TypeScript 入门教程》全面介绍了 TypeScript 强大的类型系统，完整而简洁，示例丰富，比官方文档更易读，非常适合作为初学者学习 TypeScript 的第一本书。
 >
 > —— [阮一峰](https://github.com/ruanyf)
 

introduction/get-typescript.md

@@ -18,11 +18,11 @@ tsc hello.ts
 
 ## 编辑器
 
-TypeScript 最大的优势便是增强了编辑器和 IDE 的功能，包括代码补全、接口提示、跳转到定义、重构等。
+TypeScript 最大的优势之一便是增强了编辑器和 IDE 的功能，包括代码补全、接口提示、跳转到定义、重构等。
 
 主流的编辑器都支持 TypeScript，这里我推荐使用 [Visual Studio Code](https://code.visualstudio.com/)。
 
-它是一款开源，跨终端的轻量级编辑器，内置了 TypeScript 支持。
+它是一款开源，跨终端的轻量级编辑器，内置了对 TypeScript 的支持。
 
 另外它本身也是[用 TypeScript 编写的](https://github.com/Microsoft/vscode/)。
 
@@ -31,10 +31,10 @@ TypeScript 最大的优势便是增强了编辑器和 IDE 的功能，包括代
 获取其他编辑器或 IDE 对 TypeScript 的支持：
 
 - [Sublime Text](https://github.com/Microsoft/TypeScript-Sublime-Plugin)
-- [Atom](https://atom.io/packages/atom-typescript)
 - [WebStorm](https://www.jetbrains.com/webstorm/)
 - [Vim](https://github.com/Microsoft/TypeScript/wiki/TypeScript-Editor-Support#vim)
 - [Emacs](https://github.com/ananthakumaran/tide)
 - [Eclipse](https://github.com/palantir/eclipse-typescript)
-- [Visual Studio 2015](https://www.microsoft.com/en-us/download/details.aspx?id=48593)
-- [Visual Studio 2013](https://www.microsoft.com/en-us/download/details.aspx?id=48739)
+- [Atom](https://atom.io/packages/atom-typescript)
+- [Visual Studio 2019](https://marketplace.visualstudio.com/search?term=TypeScriptTeam&target=VS&category=All%20categories&vsVersion=vs2019&sortBy=UpdatedDate)
+- [Visual Studio 2017](https://marketplace.visualstudio.com/search?term=TypeScriptTeam&target=VS&category=All%20categories&vsVersion=vs15&sortBy=UpdatedDate)

introduction/hello-typescript.md

@@ -29,11 +29,26 @@ var user = 'Tom';
 console.log(sayHello(user));
 ```
 
-TypeScript 中，使用 `:` 指定变量的类型，`:` 的前后有没有空格都可以。
+在 TypeScript 中，我们使用 `:` 指定变量的类型，`:` 的前后有没有空格都可以。
 
 上述例子中，我们用 `:` 指定 `person` 参数类型为 `string`。但是编译为 js 之后，并没有什么检查的代码被插入进来。
 
-**TypeScript 只会进行静态检查，如果发现有错误，编译的时候就会报错。**
+这是因为 **TypeScript 只会在编译时对类型进行静态检查，如果发现有错误，编译的时候就会报错。**而在运行时，与普通的 JavaScript 文件一样，不会对类型进行检查。
+
+如果我们需要保证运行时的参数类型，还是得手动对类型进行判断：
+
+```ts
+function sayHello(person: string) {
+    if (typeof person === 'string') {
+        return 'Hello, ' + person;
+    } else {
+        throw new Error('person is not a string');
+    }
+}
+
+let user = 'Tom';
+console.log(sayHello(user));
+```
 
 > `let` 是 ES6 中的关键字，和 `var` 类似，用于定义一个局部变量，可以参阅 [let 和 const 命令](http://es6.ruanyifeng.com/#docs/let)。
 
@@ -51,7 +66,7 @@ console.log(sayHello(user));
 编辑器中会提示错误，编译的时候也会出错：
 
 ```bash
-index.ts(6,22): error TS2345: Argument of type 'number[]' is not assignable to parameter of type 'string'.
+hello.ts:6:22 - error TS2345: Argument of type 'number[]' is not assignable to parameter of type 'string'.
 ```
 
 但是还是生成了 js 文件：
@@ -64,6 +79,6 @@ var user = [0, 1, 2];
 console.log(sayHello(user));
 ```
 
-**TypeScript 编译的时候即使报错了，还是会生成编译结果**，我们仍然可以使用这个编译之后的文件。
+这是因为 **TypeScript 编译的时候即使报错了，还是会生成编译结果**，我们仍然可以使用这个编译之后的文件。
 
 如果要在报错的时候终止 js 文件的生成，可以在 `tsconfig.json` 中配置 `noEmitOnError` 即可。关于 `tsconfig.json`，请参阅[官方手册](http://www.typescriptlang.org/docs/handbook/tsconfig-json.html)（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/tsconfig.json.html)）。

introduction/what-is-typescript.md

@@ -20,21 +20,21 @@
 
 - 类型系统实际上是最好的文档，大部分的函数看看类型的定义就可以知道如何使用了
 - 可以在编译阶段就发现大部分错误，这总比在运行时候出错好
-- 增强了编辑器和 IDE 的功能，包括代码补全、接口提示、跳转到定义、重构等
+- 增强了编辑器和 IDE 的功能，包括代码补全、接口提示、跳转到定义、代码重构等
 
 ### TypeScript 非常包容
 
 - TypeScript 是 JavaScript 的超集，`.js` 文件可以直接重命名为 `.ts` 即可
 - 即使不显式的定义类型，也能够自动做出[类型推论](../basics/type-inference.md)
-- 可以定义从简单到复杂的几乎一切类型
+- TypeScript 的类型系统是图灵完备的，可以定义从简单到复杂的几乎一切类型
 - 即使 TypeScript 编译报错，也可以生成 JavaScript 文件
 - 兼容第三方库，即使第三方库不是用 TypeScript 写的，也可以编写单独的类型文件供 TypeScript 读取
 
 ### TypeScript 拥有活跃的社区
 
 - 大部分第三方库都有提供给 TypeScript 的类型定义文件
-- Google 开发的 Angular2 就是使用 TypeScript 编写的
-- TypeScript 拥抱了 ES6 规范，也支持部分 ESNext 草案的规范
+- Angular、Vue、VS Code、Ant Design 等等耳熟能详的项目都是使用 TypeScript 编写的
+- TypeScript 拥抱了 ES6 规范，支持 ESNext 草案中处于第三阶状态（Stage 3）的特性
 
 ### TypeScript 的缺点
 

pagic.config.tsx

@@ -67,6 +67,10 @@ export default {
     },
     'thanks/README.md'
   ],
+  tools: {
+    editOnGithub: true,
+    backToTop: true
+  },
   tocAd: (
     <div
       dangerouslySetInnerHTML={{