TypeScript语言框架

TypeScript是一种由微软开发的自由和开源的编程语言。它是JavaScript的一个超集，而且本质上向这个语言添加了可选的静态类型和基于类的面向对象编程。安德斯·海尔斯伯格，C#的首席架构师，已工作于TypeScript的开发。^[2][3][4]

TypeScript扩展了JavaScript的语法，所以任何现有的JavaScript程序可以运行在在TypeScript环境中。TypeScript是为大型应用的开发而设计，并且可以编译为JavaScript。

TypeScript 支持为已存在的 JavaScript 库添加类型信息的头文件，扩展了它对于流行的库如jQuery，MogoDB，Node.js和 D3.js 的好处。

TypeScript 起源于开发应用程序规模的 JavaScript 应用程序的需求。Microsoft的语言开发者们说内部以及外部的客户都表示他们构建 JavaScript 代码的问题。

很多最终依赖于 JavaScript 的开发者通常用编译为 JavaScript 代码的另一种语言写脚本，例如CoffeeScript和 Script# (读作 ScriptSharp)。一个明显的劣势是也许无法从那另一种语言使用任何 JavaScript 的具体的语言特性，如果那种语言不支持它的话。

在 Microsoft 内部，它导致了自定义工具以简化 JavaScript 组件的编写的需求。

TypeScript 是一种给 JavaScript 添加特性的语言扩展。

● 类型批注和编译时类型检查

●类

●接口

●模块

●lambda 函数

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

类型批注

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

对于基本类型的批注是 umber, bool 和 strig。而弱或动态类型的结构则是 ay 类型。

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

当类型没有给出时，TypeScript 编译器利用类型推断以推断类型。如果由于缺乏声明，没有类型可以被推断出，那么它就会默认为是动态的 ay 类型。

声明文件

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

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

类型声明文件可以为已存在的 JavaScript 库手写，就像为 jQuery 和 Node.js 所做的那样。

对 ECMAScript 6 的支持

TypeScript 增加了对为即将到来的 ECMAScript 6 标准所建议的特性的支持。

如下为其构想:

类 (以及继承) 模块Arrow fuctios

尽管标准还未准备就绪，Microsoft 说它的目标是使 TypeScript 的特性与建议的标准看齐。

类

TypeScript 支持集成了可选的类型批注支持的ECMAScript6 的类。

泛型

这种语言的规范说明一个未来的版本将会支持基于类型擦除的泛型编程。

与 JavaScript 的兼容性

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

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

支持的浏览器和平台

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

编译器

TypeScript 编译器，名称叫 tsc, 是用可以被编译为可以被执行在任何 JavaScript 引擎中，在任何宿主 - 如浏览器 - 中的常规 JavaScript 的 TypeScript 写的。编译器包被绑定于一个可以执行编译器的脚本宿主。使用Node.js作为宿主的 Node.js 包同样可以获得。

也有用 JavaScript 写的客户端编译器的一个 alpha 版本，它在页面载入时，实时执行 JavaScript 代码。^[5]

这种编译器的当前版本默认支持 ECMAScript 3。一个选项是允许以 ECMAScript 5 为目标以利用该版本独有的语言特性。类，尽管是 ECMAScript 6 标准的一部分，在这两个模式下都可用。

IDE 和编辑器支持

Microsoft为Visual Studio 2012和WebMatrix提供了一个插件，也为Sublime Text,Emacs和Vim提供了基本的文本编辑器支持。在线的Cloud9 IDE也支持 TypeScript。JetBrais也计划在他们的 IDE 系列中支持 TypeScript, 而且已经发行了具有部分支持的PhpStorm6 和WebStorm6 预览版本。

TypeScript 是开源的，其源代码可以在 Apache 2 Licese 下从CodePlex获得。这个项目由Microsoft维持，但是任何人可以通过经 CodePlex 项目页发送反馈，建议和 bugfixes 而做出贡献。^[6]

已有一些批评提到这一想法，即使 TypeScript 鼓励强类型，当前也只有Microsoft Visual Studio允许为该语言容易的开发。最初的观点是在其它的编辑器上带来强类型，ItelliSese, , OSX 和 Widows，提供针对之前对提供此类服务的困难度的估计的 ItelliSese, 代码完成和句法高亮。

2013年6月19日，在经历了一个预览版之后微软正式发布了正式版TypeScript 0.9，向未来的TypeScript 1.0版迈进了很大一步。

TypeScript 0.9迎来了一些重大的新功能，除对语言本身特性进行了扩充之外，还更加完善地整合了Visual Studio，微软开发部副总裁Soma Somasegar发布帖子称，新版本的TypeScript在交互式性能方面有了显著的提高和改善。

与JavaScript相比，TypeScript^[9]进步的地方包括：加入注释，让编译器理解所支持的对象和函数，编译器会移除注释，不会增加开销；增加一个完整的类结构，使之更像是传统的面向对象语言。^[1]