TypeScript

TypeScript

编程范型	多范型：函数式、泛型、指令式、面向对象
設計者	微软
實作者	微软
发行时间	2012年10月1日​（2012-10-01）
当前版本	5.8.2（2025年2月28日；穩定版本）
型態系統	鸭子类型, 渐进类型, 结构类型
許可證	Apache 许可证 2.0
文件扩展名	.ts, .tsx
網站	www.typescriptlang.org
受影响于
C#、Java、JavaScript
影響語言
AtScript、AssemblyScript

TypeScript 是由微軟进行開發和维护的一種开源的編程语言。TypeScript 是 JavaScript 的严格語法超集，提供了可選的靜態型別检查。

TypeScript 的知名開發者有 C# 的首席架构师兼 Delphi 和 Turbo Pascal 的创始人——安德斯·海尔斯伯格。

TypeScript 是为开发大型應用程式而设计的，且可转译成 JavaScript。由于 TypeScript 是 JavaScript 的严格語法超集 ，因此任何現有的 JavaScript 程式都是合法的 TypeScript 程式。

TypeScript 支援為現存 JavaScript 函式庫添加型別資訊的定义文件，方便其他程序像使用静态型別的 TypeScript 實體一样，使用现有程式库中的值，就像是 C++ 的標頭檔可以描述目的檔(object file)的結構一樣。有許多第三方標頭檔為熱門函式庫像是 jQuery、MongoDB、Node.js 和 D3.js 等提供定义文件。

TypeScript 编译器本身也是用 TypeScript 编写，并被转译为 JavaScript，以 Apache 许可证第二版发布。

背景

经过微软两年的内部开发后，TypeScript 于 2012 年 10 月首次发布（0.8 版本）。 在发布后不久，Miguel de Icaza 认可了这门语言，但批评了其糟糕的 IDE 支持性，仅有 Microsoft Visual Studio IDE 支持其代码，但此 IDE 当时未在 Linux 和 OS X 操作系统上发布。 如今，在其他 IDE 中（例如：Eclipse），通过 Palantir Technologies 提供的插件支持，能支持 TypeScript 语法。 大部分主流的文本编辑器，例如：Emacs、Vim、WebStorm、Atom和微软发布的 Visual Studio Code 也能支持TypeScript 语法.

2013年发布的 TypeScript 0.9 增加了对泛型的支持。TypeScript 1.0 在 2014 年的微软开发者大会上发布。Visual Studio 2013 Update 2 为 TypeScript 提供了原生支持。

2014 年 7 月，开发团队发布了新的 TypeScript 编辑器，声称其性能提高了5倍。同时，代码托管由 CodePlex 迁移至 GitHub。

2016 年 9 月 22 日，TypeScript 2.0 发布，其中引入了几个功能，例如开发者可以选择不为变量分配空值等。

2018 年 7 月 30 日，TypeScript 3.0 发布 ，其中包含许多新功能，例如剩余参数（页面存档备份，存于互联网档案馆）、展开语法（页面存档备份，存于互联网档案馆）、带有元组的剩余参数、带有通用类型的剩余参数等。

设计背景

TypeScript 起源于 JavaScript 在微软以及客户中开发大型应用中遇到的缺点。处理复杂 JavaScript 代码带来的挑战使他们需要自定义工具来简化组件开发流程。

TypeScript 开发者寻求一种不破坏现有标准兼容性和跨平台支持的解决方案。知道 ECMAScript 标准为未来基于类编程提供支持后，Typescript 开发便基于此方案。这形成了包含一组新的语法扩展的一个 JavaScript 编译器，一个基于此提案的超集，可将 TypeScript 语法编译为常规的 JavaScript。从这个意义上来讲，TypeScript 是 ECMAScript 2015预期内容的预览版本。提案中未包括的可选静态类型被添加到了 TypeScript 中，有助于促进工具和 IDE 支持。

ECMAScript 6支持

主条目：ECMAScript § 6th Edition - ECMAScript 2015

TypeScript 添加了 ECMAScript 2015标准中定义的类、模块和箭头函数等语法的支持。

语言特性

TypeScript 是一种為 JavaScript 添加特性的语言扩展。增加的功能包括：

• 类型批注和编译时类型检查
• 类型推断
• 类型擦除
• 接口
• 枚举
• Mixin
• 泛型编程
• 命名空间
• 元组
• async/await

以下功能是从ECMA 2015反向移植而来：

• 类
• 模块
• 匿名函数的箭头语法
• 可选参数以及默认参数

在语法上，TypeScript 很类似 JScript .NET，它是另外一个微软对 ECMA-262 语言标准的实现，添加了对静态类型、经典的面向对象语言特性（如类、继承、接口和命名空间等）的支持。

类型批注

TypeScript 通过类型批注提供静态类型，以在编译时启动类型检查。这是可选的，而且可以忽略而使用 JavaScript 常规的动态类型。

function add(left: number, right: number): number {
	return left + right;
}

对于基本类型的批注是number、boolean 和 string。而弱型別或动态类型的结构则是 any 类型。

类型批注可以被导出到一个单独的“声明文件”，让使用已被编译为 JavaScript 类型的 TypeScript 脚本中的类型信息仍可用。批注可以为现有的 JavaScript 库声明，就像 Node.js 和 jQuery 所做的那样。

没有给出类型时，TypeScript 编译器會利用类型推断来推断类型。如果由于缺乏声明而不能推断出类型，那么它的类型將默认為动态 any 类型。

声明文件

当一个 TypeScript 脚本被编译时，有一个产生作为编译后的 JavaScript 的组件的一个接口而起作用的声明文件（具有扩展名 .d.ts）的选项。在这个过程中编译器基本上带走所有的函数和方法体而仅保留所导出类型的批注。当第三方开发者从 TypeScript 中使用它时，由此产生的声明文件就可以被用于描述一个 JavaScript 库或模块导出的虚拟的 TypeScript 类型。

声明文件的概念类似于 C/C++ 中头文件的概念。

declare module Arithmetics {
    export function add(left: number, right: number): number;
    export function subtract(left: number, right: number): number;
    export function multiply(left: number, right: number): number;
    export function divide(left: number, right: number): number;
}

可以为已存在的 JavaScript 库（如 jQuery 和 Node.js）撰寫写类型声明文件。

類別

TypeScript 支持集成了可选的類別批注支持的 ECMAScript 6的类。

class Person {
    private name: string;
    private age: number;

    constructor(name: string, age: number){
        this.name = name;
        this.age = age;
    }
    
    toString(): string {
        return `${this.name}(${this.age})`;
    }
}

函式

TypeScript 支援函式编程。以下為恆等函數的範例：

function id<T>(x: T): T {
    return x;
}

模組和命名空間

在 TypeScript 中，模組和命名空間是被區分開的。這兩項功能在 TypeScript 中皆支援將類型、介面、函數和變數封裝至容器內。命名空間（舊稱內部模組）使用 JavaScript 的立即呼叫函式表達式來封裝程式碼，而模組（舊稱外部模組）則是以 JavaScript 函式庫模式來達成（非同步模組定義 或 CommonJS）。

与JavaScript的兼容性

TypeScript 是 JavaScript 的超集。默认情况下编译器以 ECMAScript 3（ES3）为目标但 ES5 也是受支持的一个选项。一个 TypeScript 应用可以利用已存在的 JavaScript 脚本。编译后的 TypeScript 脚本也可以在JavaScript 中使用。

现有框架如 jQuery 和 Node.js 等受到完全支持。这些库的类型声明在源代码中提供。

支持的浏览器和平台

运行于任何平台上的任何网页浏览器都可以运行 TypeScript:由于它仅仅是被编译为标准的 JavaScript，一个脚本既可以被预编译为 JavaScript，也可以通过为 TypeScript 包含 JavaScript 编译器实时编译。

开发工具

编译器

TypeScript 编译器，叫做tsc，本身也是用 TypeScript 写成的。可以将 TypeScript 编译为可以在任何JavaScript引擎（如浏览器）中执行的标准JavaScript。编译器包也包含了脚本解释器，用来执行编译器。同时也有个 Node.js 包，在 Node.js 平台执行。

另外还有一个用 JavaScript 写的 alpha 版本的客户端编译器，它在页面载入时，实时执行 TypeScript 代码。

这种编译器的当前版本默认支持 ECMAScript 2015。一个选项是允许以 ECMAScript 2015 为目标，以利用该版本独有的语言特性（比如生成器）。类是 ECMAScript 2015 标准的一部分，在这两个模式下都可以使用。

IDE和编辑器支持

• 微软为Visual Studio 2012和WebMatrix提供了一个插件，在Visual Studio 2013和Visual Studio 2015中内嵌了支持，也为Sublime Text、Emacs和Vim提供了基本的文本编辑器支持。

• Visual Studio Code是一个开源的、跨平台的代码编辑器，是微软在Electron的基础上开发的。它支持TypeScript，同时也支持其他几个语言，同时提供了调试和自动代码补全的功能。
• JetBrains在他们的IDE系列中支持TypeScript，而且已经发行了具有部分支持的PhpStorm 6和WebStorm 6以及IntelliJ IDEA。同时他们的Visual Studio扩展ReSharper（页面存档备份，存于互联网档案馆）8.1也支持。
• Atom也有一个TypeScript插件（页面存档备份，存于互联网档案馆）， 由Basarat开发，支持代码补全、跳转、格式化和快速完成。
• 在线的Cloud9 IDE和Codenvy也支持TypeScript。
• NetBeans也有一个插件（页面存档备份，存于互联网档案馆）
• Eclipse IDE（Kepler）也有一个插件（页面存档备份，存于互联网档案馆）
• TypEcs也是一个Eclipse IDE插件
• Microsoft为Sublime Text提供了TypeScript插件（页面存档备份，存于互联网档案馆）
• 跨平台云IDE Codeanywhere支持TypeScript
• Webclipse（页面存档备份，存于互联网档案馆） 是一个Eclipse插件，用于开发TypeScript（页面存档备份，存于互联网档案馆） 和 Angular 2
• Angular IDE（页面存档备份，存于互联网档案馆） 是一个可以从npm安装的IDE，可以开发TypeScript（页面存档备份，存于互联网档案馆） 和Angular 2应用，集成终端支持
• Tide（页面存档备份，存于互联网档案馆） — Emacs的TypeScript交互开发环境

开源

TypeScript 是开源的，其源代码可以在Apache 2 License下从Github获得。这个项目由Microsoft维护，但是任何人可以通过在Github项目页发送反馈、提出建议和提交bugfixes而做出贡献。

已有一些批评提到，TypeScript 鼓励强类型，当前只有Microsoft Visual Studio支持在该语言上方便开发。最初的方案是在其它的编辑器上带来强类型，IntelliSense、代码完成和代码重构的功能，但这可能不是一个简单的任务。此外，支持 TypeScript 开发的 Visual Studio 扩展不是开源的。最好的 TypeScript 开发体验是在Microsoft Windows上，然而随着时间的流逝以及这种语言的开放性，加之编译器自我托管，而且用TypeScript自身写的，这很有可能会改变。通过编译器的源代码访问到AST（抽象句法树）以及详细的语言规范文档，社群已开始构建一个跨平台的编辑器，利用和Visual Studio所用到的相同的语言服务以提供一个增强的编辑体验。编辑器仍然在概念检验的阶段，但已经运行于Linux、macOS 和 Windows，提供功能强度相同的 IntelliSense、代码完成和句法高亮方法。

参见

• JavaScript
• ECMAScript

其它编译为JavaScript的语言

• CoffeeScript
• Dart
• HaXe

外部链接

• TypeScript官方网站（页面存档备份，存于互联网档案馆）
• TypeScript示例（页面存档备份，存于互联网档案馆）
• list of languages that compile to JS（页面存档备份，存于互联网档案馆）