TypeScript

错误一：

$ tsc index.ts
bash: tsc: command not found

解决方法： 重新装一下typescript

npm install -g typescript

基础类型

1. number
   let decLiteral: number = 6;
2. string
   let name: string = "bob";
3. boolean
   let isDone: boolean = false;
4. undefined
   let u: undefined = undefined;
5. null
   let n: null = null;

6. object

   object表示非原始类型
   declare function create(o: object | null): void;
   create({ prop: 0 }); // OK

7. Array

   有两种方式可以定义数组。 
   第一种，可以在元素类型后面接上 []，表示由此类型元素组成的一个数组：
   let list: number[] = [1, 2, 3];
   第二种方式是使用数组泛型，Array<元素类型>
   let list: Array<number> = [1, 2, 3];

8. 元组 Tuple

   元组类型允许表示一个已知元素数量和类型的数组，各元素的类型不必相同。 
   比如，你可以定义一对值分别为 string和number类型的元组。
   let x: [string, number];
   x = ['hello', 10];// ok
   x = [10,'hello'];// error

9. 枚举 enum

   默认情况下，从0开始为元素编号。你也可以手动的指定成员的数值。
   例如，我们将上面的例子改成从 1开始编号：
   enum Color {Red = 1, Green, Blue}
   let c: Color = Color.Green;
   枚举类型提供的一个便利是你可以由枚举的值得到它的名字。
   例如，
   enum Color {Red = 1, Green, Blue}
   let colorName: string = Color[2];
   console.log(colorName);  // 显示'Green'因为上面代码里它的值是2

10. Any

    有时候，我们会想要为那些在编程阶段还不清楚类型的变量指定一个类型。
    这些值可能来自于动态的内容，比如来自用户输入或第三方代码库。 
    这种情况下，我们不希望类型检查器对这些值进行检查而是直接让它们通过编译阶段的检查。 
    那么我们可以使用 any类型来标记这些变量
    例如：
    let notSure: any = 4;
    notSure = "maybe a string instead";
    notSure = false; // okay, definitely a boolean

11. Void 表示没有任何类型

    某种程度上来说，void类型像是与any类型相反，它表示没有任何类型
    当一个函数没有返回值时，你通常会见到其返回值类型是 void
    例如：
    function warnUser(): void {
     console.log("This is my warning message");
    }
    其次：
    声明一个void类型的变量没有什么大用，
    因为你只能为它赋予undefined和null
    例如：
    let unusable: void = undefined;

12. 类型断言

    有时候你会遇到这样的情况，你会比TypeScript更了解某个值的详细信息。 
    通常这会发生在你清楚地知道一个实体具有比它现有类型更确切的类型。
    
    通过类型断言这种方式可以告诉编译器，“相信我，我知道自己在干什么”。 
    类型断言好比其它语言里的类型转换，但是不进行特殊的数据检查和解构。 
    它没有运行时的影响，只是在编译阶段起作用。
    其一是“尖括号”语法：
    let someValue: any = "this is a string";
    let strLength: number = (<string>someValue).length;
    
    另一个为as语法：
    let someValue: any = "this is a string";
    let strLength: number = (someValue as string).length;
    

    两种形式是等价的。
    至于使用哪个大多数情况下是凭个人喜好；
    然而，当你在TypeScript里使用JSX时，只有 as语法断言是被允许的。

---

13. Never 表示的是那些永不存在的值的类型

    never类型表示的是那些永不存在的值的类型。 
    例如， 
    never类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型； 
    变量也可能是 never类型，当它们被永不为真的类型保护所约束时。
    
    never类型是任何类型的子类型，也可以赋值给任何类型；
    然而，没有类型是never的子类型或可以赋值给never类型（除了never本身之外）。 
    即使 any也不可以赋值给never。
    
    下面是一些返回never类型的函数：
    // 返回never的函数必须存在无法达到的终点
    function error(message: string): never {
    throw new Error(message);
    }
    
    // 推断的返回值类型为never
    function fail() {
    return error("Something failed");
    }
    
    // 返回never的函数必须存在无法达到的终点
    function infiniteLoop(): never {
    while (true) {
    }
    }