WebAssembly过期：关于大型项目JavaScript的思考-CSDN博客

在Auth0处，我们的大多数软件都是使用JavaScript开发的。我们在前端和后端都大量使用该语言。

在本文中，我们将探讨JavaScript作为通用语言的有用性，并简要介绍从概念到今天的JavaScript开发。我还将采访一些高级Auth0开发人员在大规模使用JavaScript方面的兴衰，并最终了解WebAssembly如何具有完成图片并将语言转换为成熟的开发平台的潜力。

JavaScript作为通用语言

对于如今的年轻开发人员而言，过去似乎还不那么清楚：JavaScript是否可以被视为通用语言？我认为今天我们可以肯定地回答这个问题，答案是“是”。但是JavaScript并不是完全年轻：它诞生于1995年，距今已有20多年了！

在超过15年的时间里，JavaScript在网络之外的吸引力不大，它主要用于前端开发。许多开发人员认为JavaScript只不过是实现梦想的交互式和响应式网站的必要工具。毫无疑问，即使到今天，JavaScript在所有常见浏览器中都没有可移植模块系统（尽管import / export语句是最新规范的一部分）。因此，从某种意义上说，随着越来越多的开发人员找到扩大其使用范围的方法，JavaScript的开发缓慢地发展。

有人会说，能够做某事并不意味着应该做。当涉及到编程语言时，我觉得这有点苛刻。作为开发人员，我们倾向于获得某些品味和风格。一些开发人员偏爱经典的程序语言，而一些开发人员爱上了功能范式，而另一些开发人员则喜欢像手套一样适合中层或厨房使用的语言。谁能说JavaScript，即使是过去的形式，都不适合他们吗？

纵观这些年来的JavaScript进展

JavaScript作为Web的粘合语言开始了它的生活。 Netscape Navigator（90年代主要的网络浏览器）的创建者认为，设计师和兼职程序员可以使用的语言将使网络更加动态。因此在1995年，他们将Brendan Eich任命为董事会成员。 Eich的任务是为浏览器创建类似于Scheme的语言。如果您不熟悉Scheme，那是Lisp家族的一种非常简单的语言。与所有Lisps一样，Scheme的语法非常少，因此很容易上手。

但是，事情并不是那么顺利。同时，Sun Microsystems一直在推动Java集成到Web浏览器中。微软及其自身技术的竞争也无济于事。因此，必须匆忙开发JavaScript。而且，Java的兴起使Netscape希望他们的新语言能够对其进行补充。

Eich被迫尽快提出原型。一些人声称它是在几周内完成的。结果是一种动态语言，其语法与Java相似，但哲学却截然不同。首先，这种新语言的对象模型与Simula派生的Java对象模型完全不同。该语言的最初原型称为Mocha，后来称为LiveScript。

由于市场营销的原因，LiveScript在发布时迅速被重命名为JavaScript。 Java正在兴起，以“ Java”为名可能会激发对该语言的更多兴趣。

该初始版本是JavaScript的第一个版本，并且其中提供了数量惊人的今天称为JavaScript的版本。特别是，对象模型（基于原型）以及语言的许多功能方面（闭包的语义，API的异步特性）都是一成不变的。不幸的是，它的匆忙发展导致了许多怪癖。

这个版本尽管在许多方面都很强大，但是却缺少显着的功能，这些功能在开发更大的系统时很有用。例外就是一个例子。

JavaScript的下几个版本将关注使其广泛可用。为实现这一目标而采取的第一步就是使其成为标准。因此，标准化工作始于ECMA，后来又通过ISO。 ECMAScript是标准化之后采用的名称，与Netscape Navigator中包含的JavaScript的第一个版本非常相似。直到1999年ECMAScript 3或JavaScript 1.5为止，当今我们所了解和使用的大多数JavaScript都已完成。此版本包括异常处理，instanceof，所有常用控制机制（执行/执行，切换），评估和大多数内置函数和对象（数组，对象等）。

在那之后，JavaScript进入了黑暗时期。竞争小组对于JavaScript的开发有不同的想法。一些人主张使用高级功能，例如模块，一种静态类型和基于类的面向对象的编程。其他人则认为这太多了。提出了ECMAScript 4的建议，实施者开始在其引擎中集成一些功能。不幸的是，社区从未决定要包括哪些功能。微软还在开发JScript，这是带有扩展功能的JavaScript的实现。结果，ECMAScript 4被放弃了。

直到2005年JavaScript开发才开始兴起。对ECMAScript 3进行了改进。该标准之外还开发了其他几个功能（let，生成器，迭代器）。由失败的ECMAScript 4规范引起的混乱得以解决，并在2009年同意将对ECMAScript 3的改进重新命名为ECMAScript5。为未来的发展定义了路径，并重新评估了针对版本4提出的许多功能。

该标准的当前版本ECMAScript 7（又名2016）包括为版本4计划的某些功能，例如类和导入/导出语句。这些功能旨在使JavaScript更适合中型和大型系统开发。毕竟，这就是ECMAScript 4背后的原理。但是JavaScript是否能兑现这一诺言？

让我们看一下JavaScript功能的客观描述。

语言特点：不错

句法熟悉

C语言族享有广泛的思维。 C，C ++，Java，C＃和JavaScript的总和可能超过所有使用的其他语言。尽管这可能是许多JavaScript怪癖的原因，但使JavaScript成为一种类似于C的语言的语法使现有开发人员更容易掌握。即使在今天，这仍是有帮助的，因为类似C的语言仍在开发领域占主导地位。

在没有经验的开发人员看一两个常见示例后，他们可以轻松地开始编写JavaScript代码：

function test(a, b, c) {
  a.doStuff(b.property, c);
  return a.property;
}

异步性质

对于新开发人员来说，使用JavaScript的最大冲击可能就是一切本质上都是异步的。这需要一些时间来习惯，但是如果您考虑一下JavaScript的概念，这是完全有意义的：这是一种将可编程逻辑集成到网页中的简单方法。谈到这一点，需要考虑两件事：非阻塞行为是必不可少的，而共享内存则太复杂了。

解决方案：回调和闭包。

const consumer = new Consumer();

$.ajax({
  method: "GET",
  url: "http://test.com/resource"
}).done(function(data) {
  consumer.push(data);
});

可以说，由于这种方法的好处，JavaScript看到了服务器端开发的需求。诸如async / await之类的功能将使异步开发更加容易。

功能特点和封闭

JavaScript的多范式方法已见成效。根深蒂固于一种范例中的许多语言，例如Java，已经开始实现其他范例。 JavaScript从一开始就具有这种功能。原型继承足够强大，可以实现所有OOP语义。闭包允许将函数视为一流对象，并按原样传递。具有便捷符号（JSON）的对象和数组结合了这些功能，使JavaScript本质上具有强大的功能。

以下是来自RxJS文档的示例：

const source = getAsyncStockData();

const subscription = source
 .filter(quote => quote.price > 30)
 .map(quote => quote.price)
 .forEach(price => console.log(`Prices higher than $30: ${price}`);

语言功能：不好

怪癖

JavaScript是匆忙开发的，它表明了这一点。例如，自动分号插入（该功能旨在简化非开发人员的开发工作）可能会产生意外的结果：

function test() {
  functionCall();
  obj.operation();

  // Other code

  return  //<-- semicolon inserted here, returns undefined
    {
      key: "This object should be returned instead"
    }
}

这些怪癖使JavaScript变得不直观，并可能导致生产力下降。有经验的开发人员知道如何避免这些陷阱，因此中型和大型系统确实需要有经验的开发人员，使用JavaScript而非其他语言时可能需要更多经验。 JavaScript Garden列出了其中一些怪癖。

打字和自动转换功能弱

尽管测试是JavaScript开发的重要组成部分，但并非所有测试总是会遇到简单的转换错误。而且，JavaScript执行许多隐式强制转换。专家开发人员非常了解这些强制转换的语义，并在可能的情况下尽量避免使用它们。

以下是JavaScript转换工作方式的一个极端示例：

console.log((![]+[])[+!![]]); 
//This prints the character “a”

由于能够将任何值转换为布尔值，所以这是可能的。第一个隐式强制转换导致值“ false”被强制转换为整数，然后索引为其第二个值。狡猾而疯狂。

模块系统

ECMAScript 6（2015）最终定义了潜在模块系统的语法。但是，当前没有浏览器以可用的方式实现此功能。换句话说，即使在今天，也需要外部模块装载器。

模块对于正确的软件开发至关重要。拆分和重用代码的标准方法可能是其最基本的方面之一。关于JavaScript模块，我们仍在使用竞争解决方案：需求（Node.js模块），导入/导出以及模块加载器或编译器（Babel， System.js ，Webpack），甚至是普通的立即调用的函数或UMD 。

全球和吊装

JavaScript变量始终在函数范围内定义（除非使用let来声明它们，这是最近添加的）。这可能会导致变量意外更改。不难想象，变量的意外更改对于大规模开发可能会造成问题。

function test() {
  if (true) {
    var a = 1;
    console.log(a);
  }

  var a;
  if (a) {
    // This code runs, a === 1
    console.log("Here");
  }
}

由于非开发人员希望使用JavaScript，因此通过一些基本检查是不严格的。所有变量，即使未定义时，都在某些上下文中创建。如果未指定上下文，则在全局上下文中创建它们。换句话说，如果由于某种原因而忘记为变量指定正确的上下文，则它将在错误的位置静默地创建和更新。

function test() {
  variable = "test";
}
test();
console.log(window.variable);

幸运的是，可以在JavaScript严格模式下对全局变量进行更严格的检查。

缺少适当的整数类型

JavaScript中的所有数字变量均为浮点类型（在特殊情况下除外）。通常这足够了。不幸的是，许多算法期望定义明确的整数语义可用。通常可以在JavaScript数值类型的顶部实现这些语义，但这会导致代码不理想。

对于32位整数类型，可以使用按位运算符获得最佳语义（这是JavaScript中32位整数可用的唯一情况）。不幸的是，没有64位整数的本机替代方法（当今许多平台都可以使用本机）。

当前版本的JavaScript包括部分类型化的数组。但是，这些还不够。

关于使用JavaScript开发大型系统的意见

在Auth0处，我们的大多数软件都是使用JavaScript开发的。我们很早就对Node.js进行了大量投资。到目前为止，它已经取得了回报。但是我们一些最高级的开发人员有很多故事。

我们已经请工程主管Damian Schenkelman和工程主管Jose Romaniello分享他们对此事的想法。

开发人员被麦克风包围着，采访了他关于在大型项目中使用JavaScript的情况

问：您对JavaScript作为通用语言有何看法？

D. Schenkelman ：我喜欢这种语言，因为它的核心概念非常少，闭包是可以基于其构建的非常强大的功能。

显然有缺点：隐式类型转换和弱类型系统。我发现，如果坚持使用好部分，JavaScript可能是一门不错的语言。当然，测试也是开发的重要组成部分。

J. Romaniello ：我认为很好。您可以将其用于当今的几乎所有事物，但对于许多情况而言并不理想。
在某些时候看来可以实现某个目标的好处的事情很容易对您不利。

该语言本身以及运行它的平台（即浏览器或Node.js）都非常容易理解。 JavaSacript的真正力量来自工具，库及其庞大社区的生态系统。

我认为Node.js的哲学非常正确（也许来自Unix？）是小的内核和广阔的用户群。

Node.js的大多数模块仅公开一个功能非常具体的功能，并且所有功能都有模块。这些只是文档齐全的小型构建块，开发人员可以理解并使用它们来解决问题。

我认为它不能归因于包管理器或语言，但这更像是一种事实上的完成事情的方式。其他技术也具有类似的工具，但是它们没有库，而是具有Spring，WCF等的“成败”的“框架”。

问：在您使用JavaScript开发性能最高的服务的那些年中，您能想到来自JavaScript完全使事情变得乏味或完全节省了一天的故事吗？

D. Schenkelman ：实际上，我发现我们犯的大多数大错误都与缺少属性或类型错误的对象有关。这些错误很容易通过隐式检查类型而避免，并且需要更多的纪律才能用JavaScript编写全面的测试。我认为在这些情况下，渐进式打字可以提供很大帮助。不幸的是，我们尚未起草一套新的准则以立即开始执行此操作，但这是我们强烈考虑的问题。我认为TypeScript是朝着正确方向迈出的一步，尤其是涉及模块间合同时。当然，这并不是说TypeScript应该代替测试：根本不应该，但是它可以帮助捕获愚蠢的错误。短绒棉也有很大帮助。

J. Romaniello ：Matias，Eugenio，Iaco和我来自Auth0之前的另一个世界。我们是.NET开发人员很多年了。与其他语言相比，以Node.js开头Auth0使我们得以以惊人的速度发展，因为我们在数据库（Mongo）中具有JavaScript，在后端（Node）中具有JavaScript，而在浏览器中具有JavaScript。在基于模式的数据库中使用强类型语言通常需要编写适配器并从一种模型映射到另一种模型。在JavaScript中，您一直使用“哈希映射”。

我不能将任何特定的失败归因于语言本身。我们犯了很多错误，例如，我们了解了循环10万个对象以渲染某些东西以阻止事件循环的困难方法。
特别是关于Node.js，有时我们希望有更详细的错误。在某些情况下，您只会得到“ ECONNRESET”异常而没有其他任何细节。幸运的是，Node.js代码库易于理解，它使我可以修复这些问题。

问：如果您现在可以选择任何语言或框架来开发后端（例如Auth0），那么它将是哪种语言或框架？ 您会再次选择Node.js和JavaScript吗？

D. Schenkelman ：我认为这并不像看起来那么重要。我的意思是，开发平台，尤其是在涉及初创公司时，不仅限于编码。代码只是实现您的产品的手段。只要这套工具可以合理地应用于所讨论的问题领域，编码就只是难题的一部分。无论您选择Java，JavaScript，C＃还是其他许多久经考验的平台，您都将获得结果。

工程学还必须考虑事物的业务方面。只要您可以在一个团队中保持合理的生产力，这种语言就不会像运输，满足客户需求或获利那样重要。

通常，对于我们团队中的大多数开发人员而言，JavaScript很容易上手。当您快速成长时，这非常重要。以我的经验，大型平台都擅长于此。因此，很难说如果我们选择其他东西会发生什么，但是我也认为这也不太重要。

J. Romaniello ：Auth0后端正在演变为小型服务。这使我们能够在不同类型的负载上自动扩展，从而提高了容错能力，更好的监视等。我们使用Node.js的方式与开始时的方式不同。我想我会再次选择Node.js或类似Erlang / Elixir的东西。

总的来说，我们经验最丰富的开发人员认为JavaScript具有出色的生态系统，即使这种语言有时不能很好地解决问题，它也会有所作为。但是，如果我们可以向该生态系统开放更多工具呢？

输入WebAssembly

在后端，您有很多选择。为工作找到合适的工具不是问题。但是，当涉及到前端开发或客户端应用程序时，您就不得不使用JavaScript。而且，如上所述，JavaScript对于许多应用程序来说都是完美有效的工具。它在大型系统上的越来越广泛的使用证明了这一点，但是认为它是适用于所有情况的正确工具是不明智的。

WebAssembly有潜力改变所有这一切。想象一下有可能在公司内部为新项目选择经过验证的库。您是否有使用C实现的内部算法库？没问题，将其编译为WASM并将其加载到您的应用程序中。然后开发JavaScript中合理的任何部分。这是网络多年来已经缺失的那种力量，并且最终指日可待。不仅限于前端。预计Node.js也将允许加载WASM模块。从某种意义上讲， WebAssembly是JavaScript虚拟机从以语言为中心到通用VM的变体。

Web装配过程流程图

自.NET平台于2002年发布以来，通用虚拟机已经飙升。例如，Java已成为新语言和现有语言的平台。 Scala和Clojure也许是这一趋势的最大代表。完全新平台的开发是在拥有一套经过实践检验的工具以及与问题的正确语言相结合的好处的前提下进行的。而且JavaScript已成为一个丰富的平台。

WebAssembly中的最近几个月令人兴奋：Binaryen，一种新的生成WASM文件的编译器基础结构已经开始工作； Firefox，Chrome和Edge在实验性标志的后面都有有效的WebAssembly实现；规格和设计文件的大小已经增加。您甚至可以尝试使用带有Unity示例的ASM.js后备功能的功能完善的可运行演示。 WebAssembly指日可待，但仍未准备好。

同时，出于对JavaScript的需求或缺乏灵活性，正在开发大型应用程序。应用程序越大，达到极限的机会就越大：大型整数数学，SIMD，线程化等。WebAssembly是JavaScript生态系统多年来缺少的补充。