Angular为什么选择TypeScript？
原文地址：https://vsavkin.com/writing-angular-2-in-typescript-1fa77c78d8e8
本文转自：http://www.chinacion.cn/article/286.html
Angular是用TypeScript编写的。在这篇文章中，我将讨论为什么我们作出决定。我还将分享我使用TypeScript的经验：它如何影响我写和重构我的代码的方式。
TypeScript有很好的工具
TypeScript的最大的卖点就是工具。它提供高级自动完成，导航和重构。拥有这样的工具几乎是大型项目的必备要求。没有他们，改变代码的恐惧使代码库处于半只读状态，并使大规模重构非常危险且昂贵。
TypeScript不是编译为JavaScript的唯一类型语言。还有其他语言具有更强的类型系统，在理论上可以提供绝对强大的工具。但在实践中大多数人除了编译器之外没有其他的东西。这是因为构建丰富的开发工具必须是第一天就明确的目标，它是针对TypeScript团队的。这就是为什么他们构建语言服务，可以由使用的编辑器提供类型检查和自动完成。如果您想知道为什么有这么多编辑器具有很好的TypeScript支持，答案就是语言服务。
智能感知和重构提示（例如：重命名变量）对代码编写过程和重构过程的重要性是不争的事实。虽然很难衡量，但我觉得现在之前要几天时间的重构可以在不到一天的时间内完成。
虽然TypeScript大大提高了代码编辑体验，但它使得开发人员设置更加复杂，特别是与在页面上放置ES5脚本相比。此外，您不能使用分析JavaScript源代码的工具（例如JSHint），但通常有足够的替代品。
TypeScript是JavaScript的超集
由于TypeScript是JavaScript的超集，因此您无需经历大量重写即可迁移到JavaScript。你可以一个模块一个模块，逐步的迁移。
只需选一个模块，将.js文件重命名为.ts，然后逐步添加类型注释。完成一个模块之后，再挑选下一个重构模块。一旦编写了整个代码库，就可以开始调整编译器设置，使其更加严格。
这个过程可能需要一些时间，但是对于Angular来说，这还不是最大的问题。逐步迁移的过程，能够让我们保持开发新功能的同时来修复转换过程中的bug。
TypeScript明确了抽象
一个好的设计是关于设计良好的接口。并且以支持它们的语言来表达接口的想法要容易得多。
例如，想象一个销售书籍的应用程序，可以通过用户界面的注册用户或通过某种API的外部系统进行购买。 
正如你所看到的，这两个类都扮演购买者的角色。尽管对应用极为重要，在代码中没有清晰的表达购买者的含义。没有名为buyeraser.js的文件。因此，有人可能会在不知道这段代码含义的情况下修改这个代码。
function processPurchase(purchaser, details){ } class User { } class ExternalSystem { } 只通过看代码来确定什么对象可以充当购买者的角色，这个角色有什么方法非常困难。我们不知道，我们不会从我们的工具中获得很多帮助。我们必须人为推断这个信息，这很慢，容易出错。
现在，将其与我们明确定义购买者接口的版本进行比较。
interface Purchaser {id: int; bankAccount: Account;} class User implements Purchaser {} class ExternalSystem implements Purchaser {} 具有类型的版本可以清楚的表示，有一个购买者的接口，然后有两个类实现了这个接口。所以TypeScript接口允许我们定义抽象/协议/角色。
重要的是要认识到，TypeScript不会强制我们引入额外的抽象。购买者抽象存在于JavaScript版本的代码中，但没有明确定义。
在静态类型的语言中，子系统之间的边界是使用接口定义的。由于JavaScript缺少接口，边界并没有在纯JavaScript中表达出来。不能清楚地看到边界，开发人员开始依赖于具体的类型而不是抽象接口，这代码耦合度非常高。
在开发Angular的过程中，在转换到TypeScript之前和之后的工作经验，坚定了我的想法。定义接口，强制我去考虑API的边界，帮助我去定义子系统的接口，并且暴露出耦合的地方。
TypeScript使代码更容易阅读和理解
是的，我知道这看起来不直观。让我试着用一个例子来说明我的意思。我们来看看这个函数jQuery.ajax（）。们可以从签名中获得什么样的信息？
jQuery.ajax(url, settings) 我们唯一可以确定的是该函数有两个参数。我们可以猜出这些类型。也许第一个是一个字符串，第二个是一个配置对象。但这仅仅是猜测，我们可能会错。我们不知道什么选项进入设置对象（他们的名字和类型），或者这个函数返回什么。
我们没有办法在不查看源码或者文档的情况下调用此函数。检查源代码不是一个好的选择 - 功能和类的要点是能够在不知道它们如何实现的情况下使用它们。换句话说，我们应该依靠他们的接口，而不是依靠它们的实现。我们可以检查文档，但它不是最好的开发人员体验 - 它需要更多的时间，文档往往是过时的。
所以虽然很容易读取jQuery.ajax（url，settings），要真正了解如何调用这个函数，我们需要读取它的源码或其文档。
现在，将其与类型版本对比
ajax(url: string, settings?: JQueryAjaxSettings): JQueryXHR; interface JQueryAjaxSettings { async?: boolean; cache?: boolean; contentType?: any; headers?: { [key: string]: any; }; //... } interface JQueryXHR { responseJSON?: any; //... } 它给了我们更多的信息。
- 这个函数的第一个参数是一个字符串。
- settings参数是可选的。我们可以看到可以传递给函数的所有选项，不仅仅是它们的名字，还包括它们的类型。
- 该函数返回一个JQueryXHR对象，我们可以看到它的属性和函数。
键入的签名肯定比无类型的签名更长，但是：string，JQueryAjaxSettings和JQueryXHR并不混乱。它们是提高代码可理解性的重要文档。我们可以在更大程度上了解代码，而无需深入实施或阅读文档。我个人的经验是，我可以更快地读取类型化代码，因为类型提供了更多的上下文来了解代码。但如果任何读者可以找到关于类型如何影响代码可读性的研究，请发表评论。
与其他编译为JavaScript的语言相比，TypeScript的类型是可选的，jQuery.ajax(url, settings)仍然是有效的typescript。所以并不是非开即关，TypeScript更多的是增强。如果发现代码在读取和理解时没有类型注释是微不足道的，请不要使用它们。只有在增加价值的情况下使用他们。
TypeScript是否限制表达？
动态类型的语言具有较差的工具，但它们更有韧性和表现力。我认为使用TypeScript会使得你的代码死板，但远比想象的程度要低。让我告诉你我的意思。假设我使用ImmutableJS定义个人记录。
const PersonRecord = Record({name:null, age:null}); function createPerson(name, age) { return new PersonRecord({name, age}); } const p = createPerson("Jim", 44); expect(p.name).toEqual("Jim"); 我们如何确定记录的类型？让我们来定义一个Person接口。
interface Person { name: string, age: number }; 如果我们尝试执行以下操作：
function createPerson(name: string, age: number): Person { return new PersonRecord({name, age}); } TypeScript编译器就会警告，因为编译器不知道PersonRecord和Person类型兼容。一些有函数式编程经验的人会说：“TypeScript只有依赖类型！”。但是不是这样的。TypeScript的类型系统不是最先进的。但它的目标是不同的。这不是证明程序是100％正确的。它更多的是提供给你更多的提示信息和启用更强大的工具。所以当类型系统不够灵活时，可以采取快捷方式。所以我们可以转换创建的记录，通过下面这样：
function createPerson(name: string, age: number): Person { return <any>new PersonRecord({name, age}); } 类型实例：
interface Person { name: string, age: number }; const PersonRecord = Record({name:null, age:null}); function createPerson(name: string, age: number): Person { return <any>new PersonRecord({name, age}); } const p = createPerson("Jim", 44); expect(p.name).toEqual("Jim"); 这段代码能够正常运行是因为类型系统是结构化的。只要创建的对象具有正确的属性-name和age，就能正常运行。
你需要以拥抱的心态去使用TypeScript的快捷方式。只有这样，你会发现使用这种语言非常的愉快。 例如，不要尝试添加类型到一些时髦的元编程代码 - 很可能你将无法静态地表达。遇到这种情况，可以配置类型检查忽略他们。这种情况下，你的代码不会失去太多的表达力，同时又具有工具化和可分析的特性。
这类似于试图获得100％的单元测试代码覆盖率。而95％通常不是那么困难，100％可能是具有挑战性的，可能会对您的应用程序的体系结构产生负面影响。
可选类型系统还保留了JavaScript开发工作流程。您的应用程序代码库的大部分可能会“损坏”，但您仍然可以运行它。TypeScript将继续生成JavaScript，即使类型检查器提示错误。这在开发过程中非常有用。
为什么使用TypeScript？
今天有很多选项可供前端开发人员使用：ES5，ES6（Babel），TypeScript，Dart，PureScript，Elm等。所以，为什么选择TypeScript？
让我们从ES5开始。ES5跟TypeScript相比，他不需要转换。这样可以使得你的构建设置保持简单。你不需要添加文件监视器，转换代码，生成source map。它就能工作。
ES6需要一个转换器，所以构建设置与TypeScript不会有很大的不同。但它是一个标准，这意味着每一个编辑器和构建工具都支持ES6或将支持它。这是一个较弱的论据，它曾经是大多数编辑器在这一点上具有优秀的TypeScript支持。
Elm和PureScript是具有强大类型系统的优雅语言，可以提供比TypeScript更多的功能。用Elm和PureScript编写的代码可能比ES5中类似的代码更简单。
每个这些选项都有利弊，但我认为TypeScript是一个很好的选择，使其成为大多数项目的绝佳选择。TypeScript占用良好静态类型语言的95％，并将其带入JavaScript生态系统。你仍然可以写ES6：你仍然可以继续使用相同的标准库，相同的第三方库，相同的成语和许多相同的工具（例如，Chrome开发工具）。它给了你很多，而不会强迫你离开JavaScript生态系统。
