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,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。