官方：拥有类型系统的javascript的超集，可以编译成纯javascript
注意三个点：
类型检查（编码的时候发现问题，不必要的带到线上去）
语言扩展（typescript会包括es6和未来提案中的一些特性，比如异步操作和装饰器，也会从其他语言借鉴某些特性。比如：接口，抽象类）
工具属性（typescript可以编译成标准的javascript，可以在任何浏览器，操作系统上运行，无需任何运行时的额外开销，从这个角度上讲，typescript更像是一个工具，而不是一门独立的语言）
为什么使用typescript？
Vscode具有强大的自动补全，导航和重构功能，这使得接口定义可以直接代替文档，同时可以提高开发效率，降低维护成本，更重要的是typescript可以帮助团队重塑‘类型思维’，接口的提供方将被迫思考api的边界，他们将从代码的编写者蜕变成代码的设计者。
强类型语言：不允许改变变量的数据类型，除非进行强制类型转换。java
不允许程序在发生错误后继续执行
弱类型语言：变量可以被赋予不同的数据类型。js
静态类型语言：在编译阶段确定所有变量的类型。ts, c++
特点：对类型极度严格，立即发现错误，运行时性能好，自文档化
动态类型语言：在执行阶段确定所有变量的类型。js(比较多的性能损耗)
特点：对类型非常宽松，bug可能隐藏数月甚至数年，运行时性能差，可读性差
动态类型语言的支持者认为：
性能是可以改善的（v8引擎），而语言灵活性很重要
隐藏的错误是可以通过单元测试发现的
文档可以通过工具生成
npm init -y 忽略所有的提问，默认都选yes
tsc- -init 生成tsconfig.json
typescript数据类型
作用：相当于强类型语言中的类型声明
语法：（变量/函数）: type
注意：
1.不建议对元组类型的数据进行push，因为可以push，但是不能访问
2.声明为undefined就不能被赋值成其他类型,只能赋值为本身
3.undefined, null是任何类型的子类型，说明赋值为别的类型
Boolean
Number
String
Array
Function
Object
Symbol
Undefined（ts中undefined是任何类型的子类型）
Null（ts中null是任何类型的子类型）
Void（表示没有任何返回值的函数）
any（表示不指定变量的类型，默认为any，不建议使用）
never（表示永远不会有返回值的类型）
元组（混合类型）
枚举类型（一组有名字的常量集合 ）
高级类型
//字符串类型：
let hello : string = 'hello world'
//布尔类型：
let bool: boolean = true
//数字类型
let num: number = 123
数组类型：
let arr: number[] = [1, 2 ,3]
let arr1: Array<number | string | null> = [1,2,3,'5',null]
//元组类型
let tuple: [number, string] = [0, 'a']
//symbol类型
let s1 = Symbol()
let s2: symbol = Symbol()
console.log(s1 === s2)
//object类型
let obj: {x: number, b: number} = {x: 1, b: 2}
obj.x = 3
//void类型
let voids = () => {} //没有任何返回值函数
//any类型
let any //通过any类型实现了对js的兼容
any = 1
any = []
//undefined类型
let un: undefined = undefined
str = undefined //必须结合联合类型
//null类型
let nu: null = null
str = null //必须结合联合类型
//never类型
let error = () => {
throw new Error('error')
}
let endless = () => {
while(true) {}
}
//function(object)类型
let add = (x: number, y: number): number => x+y
//()之外的：number是可以省略的，运用到了ts中的类型推断功能
let comueu: (x: number, y:number) => number
comueu = (a,b) => a+b
//联合类型
let str: string | undefined | null = 'abc'
