一、JavaScript的痛点

其实上由于各种历史因素，JavaScript语言本身存在很多的缺点；

JavaScript正在慢慢变得越来越好，无论是从底层设计还是应用层面。

二、没有类型带来的问题

编程开发中有一个共识：错误出现的越早越好

现在想探究的就是如何在 代码编译期间 发现代码的错误：

JavaScript可以做到吗？不可以，来看下面这段经常可能出现的代码问题：

function demo(message) {
  console.log(message.length);
}
demo('hello world');//11
demo();//报错

console.log("报错后的代码都不会执行了");

这是一个非常常见的错误：

当然，你可能会想：我怎么可能犯这样低级的错误呢？

但是，如果我们可以给JavaScript加上很多限制，在开发中就可以很好的避免这样的问题了：

JavaScript因为从设计之初就没有考虑类型的约束问题，所以造成了前端开发人员关于类型思维的缺失：

前端开发人员通常不关心变量或者参数是什么类型的，如果在必须确定类型时，我们往往需要使用各种判断验证；
从其他方向转到前端的人员，也会因为没有类型约束，而总是担心自己的代码不安全，不够健壮；
所以我们经常会说JavaScript不适合开发大型项目，因为当项目一旦庞大起来，这种宽松的类型约束会带来非常多的安全隐患，多人员开发它们之间也没有良好的类型契约。
- 比如当我们去实现一个核心类库时，如果没有类型约束，那么需要对别人传入的参数进行各种验证来保证我们代码的健壮性；
- 比如我们去调用别人的函数，对方没有对函数进行任何的注释，我们只能去看里面的逻辑来理解这个函数需要传入什么参数，返回值是什么类型；

为了弥补JavaScript类型约束上的缺陷，增加类型约束，很多公司推出了自己的方案：

他们都致力于为JavaScript提供类型检查；

而现在，无疑TypeScript已经完全胜出：

GitHub说法：TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

TypeScript官网：TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.

我们可以将TypeScript理解成加强版的JavaScript。

JavaScript所拥有的特性，TypeScript全部都是支持的，并且它紧随ECMAScript的标准，所以ES6、ES7、ES8等新语法标准，它都是支持的；
并且在语言层面上，不仅仅增加了类型约束，而且包括一些语法的扩展，比如枚举类型（Enum）、元组类型（Tuple）等；
TypeScript在实现新特性的同时，总是保持和ES标准的同步甚至是领先；
并且TypeScript最终会被编译成JavaScript代码，所以你并不需要担心它的兼容性问题，在编译时也不需要借助于Babel这样的工具；
所以，可以把TypeScript理解成更加强大的JavaScript，不仅让JavaScript更加安全，而且给它带来了诸多好用的好用特性；

始于JavaScript，归于JavaScript

TypeScript从今天数以百万计的JavaScript开发者所熟悉的语法和语义开始。使用现有的JavaScript代码，包括流行的JavaScript库，并从JavaScript代码中调用TypeScript代码；
TypeScript可以编译出纯净、简洁的JavaScript代码，并且可以运行在任何浏览器上、Node.js环境中和任何支持ECMAScript 3（或更高版本）的JavaScript引擎中；

TypeScript是一个强大的工具，用于构建大型项目

拥有先进的 JavaScript

TypeScript提供最新的和不断发展的JavaScript特性，包括那些来自2015年的ECMAScript和未来的提案中的特性，比如异步功能和 Decorators，以帮助建立健壮的组件；
这些特性为高可信应用程序开发时是可用的，但是会被编译成简洁的ECMAScript3（或更新版本）的JavaScript；