let isDone: boolean = false;

let decLiteral: number = 6;
let hexLiteral: number = 0xf00d;
let binaryLiteral: number = 0b1010;
let octalLiteral: number = 0o744;

双引号 "" 

单引号 ‘‘ 

模板字符串 `` 

let name: string = "bob";

let name: string = `Gene`;
let sentence: string = `Hello, my name is ${ name }. `;

元素类型后加 [] 

数组泛型 Array<元素类型> 

let list: number[] = [1, 2, 3];

let list: Array<number> = [1, 2, 3];

let x: [string, number];    // Declare a tuple type
x = [‘hello‘, 10];          // Initialize it, OK
x = [10, ‘hello‘];          // Initialize it incorrectly, Error

enum Color {Red = 1, Green, Blue}
let colorName: string = Color[2];

alert(colorName);  // 显示‘Green‘因为上面代码里它的值是2

为一组数值赋予友好的名字。

默认从0开始编号，可以手动赋值。

可以由数值取到它的名字。

不清楚类型，不希望类型检查器对它检查，直接通过编译。

let notSure: any = 4;
notSure = "maybe a string instead";
notSure = false; // okay, definitely a boolean

你可能认为Object有相似的作用，就像它在其它语言中那样。 但是Object类型的变量只是允许你给它赋任意值 - 但是却不能够在它上面调用任意的方法，即便它真的有这些方法：

let notSure: any = 4;
notSure.ifItExists(); // okay, ifItExists might exist at runtime
notSure.toFixed(); // okay, toFixed exists (but the compiler doesn‘t check)

let prettySure: Object = 4;
prettySure.toFixed(); // Error: Property ‘toFixed‘ doesn‘t exist on type ‘Object‘.

当你只知道一部分数据的类型时，any类型也是有用的。 比如，你有一个数组，它包含了不同的类型的数据：

let list: any[] = [1, true, "free"];

list[1] = 100;

函数无返回值：

function warnUser(): void {
    alert("This is my warning message");
}

声明一个void类型的变量没有什么大用，因为你只能为它赋予undefined和null：

let unusable: void = undefined;

// Not much else we can assign to these variables!
let u: undefined = undefined;
let n: null = null;

默认情况下null和undefined是所有类型的子类型。 就是说你可以把null和undefined赋值给number类型的变量。

有例外，指定--strictNullChecks标记时，只能赋值给void和它们各自。

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) {
    }
}

never类型是任何类型的子类型，也可以赋值给任何类型；然而，没有类型是never的子类型或可以赋值给never类型（除了never本身之外）。 即使any也不可以赋值给never。