1，JavaScript 与 TypeScript 的区别
TypeScript 是 JavaScript 的超集，扩展了 JavaScript 的语法，因此现有的 JavaScript 代码可与 TypeScript 一起工作无需任何修改，TypeScript 通过类型注解提供编译时的静态类型检查。TypeScript 可处理已有的 JavaScript 代码，并只对其中的 TypeScript 代码进行编译。
TypeScript 与面向对象
面向对象是一种对现实世界理解和抽象的方法。
TypeScript 是一种面向对象的编程语言。
面向对象主要有两个概念：对象和类。
- 对象：对象是类的一个实例（对象不是找个女朋友），有状态和行为。例如，一条狗是一个对象，它的状态有：颜色、名字、品种；行为有：摇尾巴、叫、吃等。
- 类：类是一个模板，它描述一类对象的行为和状态。
- 方法：方法是类的操作的实现步骤。
下图中男孩女孩为类，而具体的每个人为该类的对象：
2，ts基础类型
任意类型 | any | 声明为 any 的变量可以赋予任意类型的值。 |
数据类型 | number | 双精度 64 位浮点值。它可以用来表示整数和分数。 let binaryLiteral: number = 0b1010; // 二进制let octalLiteral: number = 0o744; // 八进制let decLiteral: number = 6; // 十进制let hexLiteral: number = 0xf00d; // 十六进制 |
字符串类型 | string | 一个字符系列，使用单引号（'）或双引号（"）来表示字符串类型。反引号（`）来定义多行文本和内嵌表达式。 let name: string = "Runoob";let years: number = 5;let words: string = `您好，今年是 ${ name } 发布 ${ years + 1} 周年`; |
布尔类型 | boolean | 表示逻辑值：true 和 false。 let flag: boolean = true; |
数组类型 | 无 | 声明变量为数组。 // 在元素类型后面加上[]let arr: number[] = [1, 2];// 或者使用数组泛型let arr: Array<number> = [1, 2]; |
元组 | 无 | 元组类型用来表示已知元素数量和类型的数组，各元素的类型不必相同，对应位置的类型需要相同。 let x: [string, number];x = ['Runoob', 1]; // 运行正常x = [1, 'Runoob']; // 报错console.log(x[0]); // 输出 Runoob |
枚举 | enum | 枚举类型用于定义数值集合。 enum Color {Red, Green, Blue};let c: Color = Color.Blue;console.log(c); // 输出 2 |
void | void | 用于标识方法返回值的类型，表示该方法没有返回值。 function hello(): void { alert("Hello Runoob");} |
null | null | 表示对象值缺失。 |
undefined | undefined | 用于初始化变量为一个未定义的值 |
never | never | never 是其它类型（包括 null 和 undefined）的子类型，代表从不会出现的值。 |
在TypeScript中启用严格的空校验（--strictNullChecks）特性，就可以使得null 和 undefined 只能被赋值给 void 或本身对应的类型
如果一个类型可能出行 null 或 undefined， 可以用 | 来支持多种类型，示例代码如下：
// 启用 --strictNullChecks
let x: number | null | undefined;
never 类型
never 是其它类型（包括 null 和 undefined）的子类型，代表从不会出现的值。这意味着声明为 never 类型的变量只能被 never 类型所赋值，在函数中它通常表现为抛出异常或无法执行到终止点（例如无限循环）
// 返回值为 never 的函数可以是抛出异常的情况
function error(message: string): never {
throw new Error(message);
}
// 返回值为 never 的函数可以是无法被执行到的终止点的情况
function loop(): never {
while (true) {}
}3，let和var的区别
var可以声明同名变量，但let不可以；
var a = 0; var a = 1; // 不会报错
let b= 0; let b = 1; // 会报错var的作用域是函数作用域，在内层循环中和外层循环中使用的是同一个i，在内层的修改会波及外层。
let的作用域是块级作用域，在内层循环中的i和外层循环中的i不是同一个i，在内层的修改不会波及外层。
嵌套作用域中，let 还具有屏蔽功能：
function f(m : number [ ] [ ] )
{
let sum=0;
for (let i=0 ; i<5 ; i++ )
{
let row = m [ i ] ;
for ( let i=0 ; i<5 ; i++ )
sun=+ row[ i ];
}
return sum;
} 这里的得到的sum就是正确答案，因为内层的 i 会屏蔽掉外层的 i 。
4，typescript变量声明：
变量是一种使用方便的占位符，用于引用计算机内存地址。
我们可以把变量看做存储数据的容器
我们可以使用以下四种方式来声明变量：
声明变量的类型及初始值：var [变量名] : [类型] = 值; var uname:string = "Runoob";
声明变量的类型但没有初始值，变量值会设置为 undefined： var uname:string;
声明变量并初始值，但不设置类型类型，该变量可以是任意类型：var uname = "Runoob";
声明变量没有设置类型和初始值，类型可以是任意类型，默认初始值为 undefined：var uname;
变量不要使用 name 否则会与 DOM 中的全局 window 对象下的 name 属性出现了重名。
TypeScript 遵循强类型，如果将不同的类型赋值给变量会编译错误
类型断言（Type Assertion）
类型断言可以用来手动指定一个值的类型，即允许变量从一种类型更改为另一种类型。
语法格式：
<类型>值
var str = '1'
var str2:number = <number> <any> str //str、str2 是 string 类型 console.log(str2)
或:
值 as 类型它之所以不被称为类型转换，是因为转换通常意味着某种运行时的支持。但是，类型断言纯粹是一个编译时语法，同时，它也是一种为编译器提供关于如何分析代码的方法。
类型推断
当类型没有给出时，TypeScript 编译器利用类型推断来推断类型。
TypeScript 有以下几种作用域：
- 全局作用域 − 全局变量定义在程序结构的外部，它可以在你代码的任何位置使用。
- 类作用域 − 这个变量也可以称为 字段。类变量声明在一个类里头，但在类的方法外面。 该变量可以通过类的对象来访问。类变量也可以是静态的，静态的变量可以通过类名直接访问。
- 局部作用域 − 局部变量，局部变量只能在声明它的一个代码块（如：方法）中使用。
如果由于缺乏声明而不能推断出类型，那么它的类型被视作默认的动态 any 类型。
