JavaScript的这个缺陷，让多少程序员为之抓狂？

相信提到JavaScript语言，每一个程序员的心理状态都是不一样的，有的对此深恶痛绝，有的又觉得其可圈可点，造成这种两级分化态度的原因还是由于其自身类型约束上的缺陷，直到现如今依旧无法解决。
本文由JavaScript的痛点展开，简要论述了一下JavaScript这个痛点产生的原因，同时给大家介绍了一下解决这个痛点的另一个语言。

一. JavaScript的痛点
我始终坚信：任何新技术的出现都是为了解决之前某个技术的痛点。
1.1. 优秀的JavaScript
JavaScript是一门优秀的编程语言吗？

• • 每个人可能观点并不完全一致，但是从很多角度来看，JavaScript是一门非常优秀的编程语言。
• • 而且，可以说在很长一段时间内这个语言不会被代替，并且会在更多的领域被大家广泛使用。
  著名的Atwood定律：
• • Stack Overflow的创立者之一的 Jeff Atwood 在2007年提出了著名的 Atwood定律。
• • any application that can be written in JavaScript, will eventually be written in JavaScript.
• • 任何可以使用JavaScript来实现的应用都最终都会使用JavaScript实现。
• • 其实我们已经看到了，至少目前JavaScript在浏览器端依然无可替代，并且在服务端（Nodejs）也在备广泛的应用。
  优秀的JavaScript没有缺点吗？
• • 其实上由于各种历史因素，JavaScript语言本身存在很多的缺点；
• • 比如ES5以及之前的使用的var关键字关于作用域的问题；
• • 比如最初JavaScript设计的数组类型并不是连续的内存空间；
• • 比如直到今天JavaScript也没有加入类型检测这一机制；
  JavaScript正在慢慢变好
• • 不可否认的是，JavaScript正在慢慢变得越来越好，无论是从底层设计还是应用层面。
• • ES6、7、8等的推出，每次都会让这门语言更加现代、更加安全、更加方便。
• • 但是知道今天，JavaScript在类型检测上依然是毫无进展（为什么类型检测如此重要，我后面会聊到）。
  1.2. 类型引发的问题
  首先你需要知道，编程开发中我们有一个共识：错误出现的越早越好
• • 能在写代码的时候发现错误，就不要在代码编译时再发现（IDE的优势就是在代码编写过程中帮助我们发现错误）。
• • 能在代码编译期间发现错误，就不要在代码运行期间再发现（类型检测就可以很好的帮助我们做到这一点）。
• • 能在开发阶段发现错误，就不要在测试期间发现错误，能在测试期间发现错误，就不要在上线后发现错误。
  现在我们想探究的就是如何在代码编译期间发现代码的错误：
• • JavaScript可以做到吗？不可以，我们来看下面这段经常可能出现的代码问题。

Image01
Image02
1571734307189
在浏览器下的运行结果如下：

1571734422210
这是我们一个非常常见的错误：

• • 这个错误很大的原因就是因为JavaScript没有对我们传入的参数进行任何的限制，只能等到运行期间才发现这个错误；
• • 并且当这个错误产生时，会影响后续代码的继续执行，也就是整个项目都因为一个小小的错误而深入崩溃；
  Uncaught TypeError: Cannot read property 'length' of undefined
  当然，你可能会想：我怎么可能犯这样低级的错误呢？
• • 当我们写像我们上面这样的简单的demo时，这样的错误很容易避免，并且当出现错误时，也很容易检查出来；
• • 但是当我们开发一个大型项目时呢？你能保证自己一定不会出现这样的问题吗？而且如果我们是调用别人的类库，又如何知道让我们传入的到底是什么样的参数呢？
  但是，如果我们可以给JavaScript加上很多限制，在开发中就可以很好的避免这样的问题了：
• • 比如我们的getLength函数中str是一个必传的类型，没有调用者没有传编译期间就会报错；
• • 比如我们要求它的必须是一个String类型，传入其他类型就直接报错；
• • 那么就可以知道很多的错误问题在编译期间就被发现，而不是等到运行时再去发现和修改；
  1.3. 类型思维的缺失
  我们已经简单体会到没有类型检查带来的一些问题，JavaScript因为从设计之初就没有考虑类型的约束问题，所以造成了前端开发人员关于类型思维的缺失：
• • 前端开发人员通常不关心变量或者参数是什么类型的，如果在必须确定类型时，我们往往需要使用各种判断验证；
• • 从其他方向转到前端的人员，也会因为没有类型约束，而总是担心自己的代码不安全，不够健壮；
  所以我们经常会说JavaScript不适合开发大型项目，因为当项目一旦庞大起来，这种宽松的类型约束会带来非常多的安全隐患，多人员开发它们之间也没有良好的类型契约。
  比如当我们去实现一个核心类库时，如果没有类型约束，那么需要对别人传入的参数进行各种验证来保证我们代码的健壮性；
  比如我们去调用别人的函数，对方没有对函数进行任何的注释，我们只能去看里面的逻辑来理解这个函数需要传入什么参数，返回值是什么类型。
  为了弥补JavaScript类型约束上的缺陷，增加类型约束，很多公司推出了自己的方案：
• • 2014年，Facebook推出了flow来对JavaScript进行类型检查；
• • 同年，Microsoft微软也推出了TypeScript1.0版本；
• • 他们都致力于为JavaScript提供类型检查；
  而现在，无疑TypeScript已经完全胜出：
• • Vue2.x的时候采用的就是flow来做类型检查；
• • Vue3.x已经全线转向TypeScript，98.3%使用TypeScript进行了重构；
• • 而Angular在很早期就使用TypeScript进行了项目重构并且需要使用TypeScript来进行开发；
• • 而甚至Facebook公司一些自己的产品也在使用TypeScript；
  学习TypeScript不仅仅可以为我们的代码增加类型约束，而且可以培养我们前端程序员具备类型思维。
  下面就让我们今天的主角TypeScript隆重登场吧！
  二. 邂逅TypeScript
  2.1. 什么是TypeScript
  虽然我们已经知道TypeScript是干什么的了，也知道它解决了什么样的问题，但是我们还是需要全面的来认识一下TypeScript到底是什么？
  我们来看一下TypeScript在GitHub和官方上对自己的定义：
  image04
  怎么理解上面的话呢？
• • 我们可以将TypeScript理解成加强版的JavaScript。
• • JavaScript所拥有的特性，TypeScript全部都是支持的，并且它紧随ECMAScript的标准，所以ES6、ES7、ES8等新语法标准，它都是支持的；
• • 并且在语言层面上，不仅仅增加了类型约束，而且包括一些语法的扩展，比如枚举类型（Enum）、元组类型（Tuple）等；
• • TypeScript在实现新特性的同时，总是保持和ES标准的同步甚至是领先；
• • 并且TypeScript最终会被编译成JavaScript代码，所以你并不需要担心它的兼容性问题，在编译时也不需要借助于Babel这样的工具；
  所以，我们可以把TypeScript理解成一身神装的JavaScript，不仅让JavaScript更加安全，而且给它带来了诸多好用的装备特效；
  2.2. TypeScript的特点
  官方对TypeScript有几段特点的描述，我觉得非常到位（虽然有些官方，了解一下），我们一起来分享一下：
  始于JavaScript，归于JavaScript
• •
  TypeScript从今天数以百万计的JavaScript开发者所熟悉的语法和语义开始。使用现有的JavaScript代码，包括流行的JavaScript库，并从JavaScript代码中调用TypeScript代码。
• •
• •
  TypeScript可以编译出纯净、 简洁的JavaScript代码，并且可以运行在任何浏览器上、Node.js环境中和任何支持ECMAScript 3（或更高版本）的JavaScript引擎中。
• •
  TypeScript是一个强大的工具，用于构建大型项目
• •
  类型允许JavaScript开发者在开发JavaScript应用程序时使用高效的开发工具和常用操作比如静态检查和代码重构。
• •
• •
  类型是可选的，类型推断让一些类型的注释使你的代码的静态验证有很大的不同。类型让你定义软件组件之间的接口和洞察现有JavaScript库的行为。
• •
  拥有先进的 JavaScript
• •
  TypeScript提供最新的和不断发展的JavaScript特性，包括那些来自2015年的ECMAScript和未来的提案中的特性，比如异步功能和Decorators，以帮助建立健壮的组件。
• •
• •
  这些特性为高可信应用程序开发时是可用的，但是会被编译成简洁的ECMAScript3（或更新版本）的JavaScript。
• •
  正是因为有这些特性，TypeScript目前已经在很多地方被应用：
• • 包括我们前面提到的Vue3和Angular已经使用TypeScript进行重构；
• •
  image05
  vue3源码
  image06
  angular源码
• • 包括Vue3以后的开发模式必然会和TypeScript更加切合，大家也更多的需要使用TypeScript来编写代码；
• • 包括目前已经变成最流行的编辑器VSCode也是使用TypeScript来完成的
• •
  image07
  1571801070892
• • 包括在React中已经使用的ant-design的UI库，也大量使用TypeScript来编写：
  image08
  ant-design源码
• • 包括小程序开发，也是支持TypeScript的
  image09
  小程序开发
  2.3. 体验TypeScript
  本来想在这个位置放上一个体验TypeScript的程序，但是涉及到过多TypeScript的安装流程和vscode的配置信息。
  所以，我打算在下一篇中专门讲解这部分的内容，包括使用webpack搭建一个可以自动测试TypeScript代码的环境。
  So，稍安勿躁，这一个章节我们就和TypeScript有一个简单的邂逅就好，后面再进行深入了解。
  三. 前端学不动系列
  3.1. 前端开发者的难
  在之前的Flutter文章中，我说到一个话题，大前端是一群最能或者说最需要折腾的开发者：
• • 客户端开发者：从Android到iOS，或者从iOS到Android，到RN，甚至现在越来越多的客户端开发者接触前端相关知识（Vue、React、Angular、小程序）；
• • 前端开发者：从jQuery到AngularJS，到三大框架并行：Vue、React、Angular，还有小程序，甚至现在也要接触客户端开发（比如RN、Flutter）；
• • 目前又面临着不仅仅学习ES的特性，还要学习TypeScript；
• • Vue3马上也会到来，又必须学习Vue3新特性；
  大前端开发就是，不像服务器一样可能几年甚至几十年还是那一套的东西。前端新技术会层出不穷。
  Image10

但是每一样技术的出现都会让我们惊喜，因为他必然是解决了之前技术的某一个痛点的，而TypeScript真是解决了JavaScript存在的很多设计缺陷，尤其是关于类型检测的。
并且从开发者长远的角度来看，学习TypeScript有助于我们前端程序员培养类型思维，这种思维方式对于完成大型项目尤为重要。
我也会更新一个TypeScript的系列文章，带着大家一起来学习TypeScript，并且培养大家可以形成类型思维。
本次的干货分享到此就结束了，感觉意犹未尽还想学的小伙伴们，欢迎添加微信：19950277730，获取更多IT相关的免费视频和学习资料。风里，雨里，微信等你！