TypeScript是强类型，静态类型的JavaScript

1. 编程语言的分类

As we all know, JavaScript 是弱类型，动态类型的编程语言。

首先我们来解释一下这几个名词：

• 动态类型语言：在 运行期间(Runtime) 才去做数据类型检查的语言。
• 静态类型语言：在 编译其间(Compile) 就进行数据类型检查的，C/C++/Java都是静态语言的典型代表。
• 强类型语言：强制类型定义，若要修改其类型，必须进行显式类型转换。
• 弱类型语言：数据类型可以被忽略的语言。(一个变量可以赋予不同类型值)

对于静态类型与动态类型的区分，有一句名言：

Static typing when possible, dynamic typing when needed

---

2. 举例说明JavaScript的特点

上面提到JavaScript 是弱类型，动态类型的编程语言。这里我们做一下演示，来吐槽一下。

// 在这里，定义一个简单的求和函数
function sum(x,y){
	return x + y
}

这些就是弱类型的问题，最可怕的是JavaScript是动态类型语言，还必须在运行期间才能发现这些错误。(船到江心才补漏——晚了)

此时资深人士说了，我们JavaScript也可以避免上述问题：

// 这样做确实可以(只要你不怕麻烦)
function sum(x,y){
	 if(typeof(x) ==="number" && typeof(y)==="number"){
         return x + y
     }else{
         throw "invalid data"
     }
}

这时有强类型语言经验的同学发言了—— 给形参加上数据类

// 第一种方案：Uncaught SyntaxError: Unexpected token ':'
function sum(x:number,y:number){
	return x + y;
}
// 第二种方案：ncaught SyntaxError: Unexpected identifier 'x'
function sum(number x, number y){
	return x + y;
}

---

难道就没有一种方案，来给JavaScript开发者一丝安全感吗？

3. TypeScript的强大

TypeScript 与 JavaScript 有着不同寻常的关系。TypeScript 提供了 JavaScript 的所有功能，并在这些功能之上添加了一层： TypeScript 的类型系统。

利用TypeScript的类型系统，我们可以这样写代码：

类型推断：通过感知 JavaScript 的工作原理，TypeScript 可以构建一个接受 JavaScript 代码但具有类型的类型系统。这个类型系统使得我们不需要添加额外的字符来显式地指定类型。

// 创建变量并将其赋值给特定值时， TypeScript 将使用该值作为其类型。
const name:string = "BertKing"
// 类型推断
const name = "BertKing"

function sum(x:number,y:number):numbre{
	return x + y;
}

// 同理，TS具有类型推断能力，这里函数的返回值类型也可以省略
function sum(x:number,y:number){
	return x + y;
}

如果我们调用sum(5,true)就会在编译时报错：
在终端利用TypeScript的编译器：

使用VSCode：

总之，TypeScript会在代码执行前就报出明显的错误，其带来的严谨性能够有效的避免许多错误。这也就是所谓的TypeScript的静态类型检查

趁热打铁，我们先来认识一下 TypeScript Compiler(TSC)