Що таке зарезервоване слово “type” у TypeScript?

Я щойно помітив, намагаючись створити інтерфейс у TypeScript, що "type" - це ключове слово або зарезервоване слово. Наприклад, під час створення наступного інтерфейсу "тип" відображається синім у Visual Studio 2013 з TypeScript 1.4:

interface IExampleInterface {
    type: string;
}

Скажімо, ви спробуєте реалізувати інтерфейс у класі, наприклад:

class ExampleClass implements IExampleInterface {
    public type: string;

    constructor() {
        this.type = "Example";
    }
}

У першому рядку класу, коли ви вводите (вибачте) слово "type", щоб реалізувати властивість, необхідну інтерфейсу, IntelliSense з'являється з "type", що має такий самий значок, як інші ключові слова, наприклад "typeof" або "new ".

Я подивився навколо, і міг знайти цю проблему GitHub, в якій "type" перераховано як "зарезервоване слово в суворому режимі" в TypeScript, але я не знайшов жодної додаткової інформації про те, яка його мета насправді.

Я підозрюю, що у мене пердеть мозок, і це щось очевидне, що я вже мав би знати, але для чого потрібне зарезервоване слово "type" у TypeScript?

Він використовується для "псевдонімів типу". Наприклад:

type StringOrNumber = string | number;
type DictionaryOfStringAndPerson = Dictionary<string, Person>;

Довідково: Специфікація TypeScript v1.5 (розділ 3.9, "Псевдоніми типів", сторінки 46 і 47)

Оновлення : Тепер у розділі 3.10 специфікації 1.8 . Дякую @RandallFlagg за оновлені специфікації та посилання

Оновлення : Підручник з TypeScript , пошук "Псевдоніми типів" може перейти до відповідного розділу.

Введіть ключове слово в машинопис:

У машинописі ключове слово type визначає псевдонім типу. Ми також можемо використовувати ключове слово type для визначення визначених користувачем типів. Це найкраще пояснити на прикладі:

type Age = number | string;    // pipe means number OR string
type color = "blue" | "red" | "yellow" | "purple";
type random = 1 | 2 | 'random' | boolean;

// random and color refer to user defined types, so type madness can contain anything which
// within these types + the number value 3 and string value 'foo'
type madness = random | 3 | 'foo' | color;  

type error = Error | null;
type callBack = (err: error, res: color) => random;

Ви можете складати типи скалярних типів ( string, numberтощо), але також і з літеральних значень, таких як 1або 'mystring'. Ви навіть можете складати типи інших визначених користувачем типів. Наприклад type madnessмає типи randomі colorв ньому.

Потім, коли ми намагаємось зробити рядок літералом нашим (а в нашій IDE є IntelliSense), він відображає пропозиції:

Він показує всі кольори, тип божевілля походить від наявності кольору типу, "випадковий", який походить від типу random, і, нарешті, рядок, 'foo'який знаходиться на самому типі madness.