Что такое зарезервированное слово «тип» в TypeScript?

Я только что заметил, когда пытался создать интерфейс в TypeScript, что «тип» - это либо ключевое слово, либо зарезервированное слово. При создании следующего интерфейса, например, «тип» отображается синим цветом в Visual Studio 2013 с TypeScript 1.4:

interface IExampleInterface {
    type: string;
}

Допустим, вы затем пытаетесь реализовать интерфейс в классе, например:

class ExampleClass implements IExampleInterface {
    public type: string;

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

В первой строке класса, когда вы вводите (извините) слово «тип», чтобы реализовать свойство, требуемое интерфейсом, IntelliSense появляется с «типом», имеющим тот же значок, что и другие ключевые слова, такие как «typeof» или «new». ".

Я осмотрелся и мог найти эту проблему GitHub, в которой «тип» перечисляется как «зарезервированное слово строгого режима» в TypeScript, но я не нашел никакой дополнительной информации о том, какова его цель на самом деле.

Я подозреваю, что у меня пердит мозг, и это очевидно, что я уже должен знать, но для чего это зарезервированное слово «тип» в 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'. Вы даже можете составлять типы из других определяемых пользователем типов. Например, у типа madnessесть типы randomи colorв нем.

Затем, когда мы пытаемся сделать строковый литерал нашим (а в нашей IDE есть IntelliSense), он показывает предложения:

Он показывает все цвета: безумие типов происходит от цвета типа, «случайный» - от типа случайный и, наконец, строка, 'foo'которая находится в самом безумии типов.