JavaScript是Web应用程序的核心语言；任何需要在浏览器中运行的应用程序都必须以该语言实现。

我们都知道，JavaScript不是每个任务的最佳语言，而在复杂的应用程序中，JavaScript可能会很短。为了避免这个问题，有几种新的语言可以生成可以在浏览器中工作的代码，而不需要编写任何JavaScript，而不必考虑语言的限制。

本文包括十种有趣的语言，可以在浏览器或像Node.js这样的平台上执行JavaScript。

Dart

Dart是一种古典的面向对象的语言，其中所有的东西都是一个对象，任何对象都是一个类的实例（对象也可以作为函数）。它专门为浏览器，服务器和移动设备构建应用程序。它由Google维护，是为下一代AdWords用户界面（Google最重要的收入产品）提供支持的语言，这本身就是其规模实力的证明。

该语言可以编译成JavaScript，以便在浏览器中使用，或者由Dart VM直接解释，这也允许构建服务器应用程序。可以使用Flutter SDK进行移动应用程序。

复杂的应用程序还需要一个成熟的库和语言功能，专门为此任务而设计，并且Dart包括所有这些。一个流行的库的例子是AngularDart，一个Angular Dart的版本。

关于VM中的并发编程，Dart使用他们所谓的Isolates，而不是使用共享内存线程（Dart是单线程的），它们使用自己的内存堆，使用消息实现通信。

TypeScript

TypeScript是JavaScript的超集；一个有效的JavaScript程序也是有效的TypeScript，但添加静态类型。编译器也可以作为从ES2015 +到当前实现的转换器，所以你总是得到最新的功能。

与许多其他语言不同，TypeScript保持了JavaScript的精神，只增加了功能来提高代码的稳健性。这些是类型注释和其他与类型相关的功能，这使得编写JavaScript更加愉快，这得益于专门的工具，如静态分析器和其他工具来帮助重构过程。此外，添加类型可以改善应用程序的不同组件之间的接口。

支持类型推断，因此你不必从头开始编写所有类型。可以编写快速解决方案，然后添加所有类型以确保代码的能力。

TypeScript还支持高级类型，如联合类型，类型别名等。可以在TypeScript文档站点的高级类型页面中查看所有类型。

如果使用React，则可以通过添加React打印来支持JSX。

Elm

Elm是一种纯粹的功能性编程语言，可编译为JS，HTML和CSS。可以使用Elm构建一个完整的站点，使其成为像React这样的JavaScript框架的绝佳选择。使用它构建的应用程序会自动使用虚拟DOM库，使其非常快速。一个大的优点是内置架构，使你忘记数据流，并专注于数据声明和逻辑。

在Elm中，所有函数都是纯的，这意味着它们将始终为给定的输入返回相同的输出。除非你指定，否则他们不能做任何其他事情。例如，要访问远程API，将创建命令功能以与外部通信，并订阅监听响应。

Elm的采用可以是渐进的；可以使用端口与JavaScript和其他库进行通信。虽然Elm尚未达到版本1，但它被用于复杂和大型应用程序，使其成为复杂应用程序的可行解决方案。

Elm最有吸引力的功能之一是初学者友好的编译器，而不是生成难以阅读的消息，生成可帮助修复的代码。如果正在学习语言，编译器本身可以是很大的帮助。

PureScript

PureScript是由Phil Freeman创建的纯功能强大的编程语言。它旨在提供与可用的JavaScript库的强兼容性，类似于Haskell的精神，但保持JavaScript的核心。

PureScript的一个强项是它的极简主义。它不包括任何在其他语言中被视为必不可少的功能库。例如，不用在编译器本身包含生成器和承诺，可以使用特定的库来完成任务。可以选择所需功能的实现，这样可以在使用PureScript时实现高效和个性化的体验，同时保持生成的代码尽可能小。

其编译器的另一个特征就是能够在保持与JavaScript的兼容性的同时，使用清晰可读的代码来实现库和工具。

像其他语言一样，PureScript有自己的构建工具Pulp，可以与Gulp进行比较。

关于类型系统 - 与Elm（其他ML类似语言）不同，PureScript支持从Haskell获取的高级类型和类型类的高级类型功能，从而允许创建复杂的抽象。

CoffeeScript

CoffeeScript是一种提供更清晰的语法并保持语义的语言。虽然语言的普及近年来一直在减弱，但它正在改变方向，现在正在获得一个新的主要版本，为ES2015 +功能提供支持。

在CoffeeScript中编写的代码直接转换为可读的JavaScript代码，并保持与现有库的兼容性。从版本2开始，编译器将产生与最新版本的ECMAScript兼容的代码，例如，每次使用类时，将获得一个JavaScript类。另外，如果使用React，有一个好消息：JSX与CoffeeScript兼容。

与其他语言不同，CoffeeScript代码可以使用库直接在浏览器中解释。所以如果你想创建一个快速测试，你可以编写你的代码在文本/ coffeescript脚本标签，并包括编译器，这将转换为JavaScript的代码。

ClojureScript

ClojureScript是一个将Clojure编程语言转换为JavaScript的编译器。它是一种通用的功能语言，具有动态打字和支持不可变数据结构。

它是这个列表中唯一属于Lisp系列的编程语言，而且它们共享了很多功能。例如，代码可以视为数据，并且宏系统可用，使得元编程技术成为可能。与其他Lisps不同，Clojure支持不可变的数据结构，使副作用的管理更加容易。

虽然Clojure主要是功能语言，但它并不像PureScript或Elm那样纯粹；副作用仍然可以发生，但其他功能特征仍然存在。

ClojureScript使用Google Closure进行代码优化，并且与现有的JavaScript库兼容。

Scala.js

Scala.js是将Scala编程语言转换为JavaScript的编译器。Scala是一种语言，旨在将面向对象和功能编程的想法合并成一种语言，以创建一个易于采用的强大工具。

作为强类型语言，可以获得具有部分类型推理的灵活类型系统的优点。可以推断大多数值，但函数参数仍然需要显式类型注释。

虽然支持许多常见的面向对象模式（例如，每个值都是一个对象，操作是方法调用），但是也可以获得诸如支持一级函数和不可变数据结构等功能特性。

Scala.js的一个特殊优点是，可以从熟悉的面向对象的方法开始，并且按需要并以自己的速度移动到更加功能的方式，而无需做大量的工作。此外，现有的JavaScript代码和库与Scala代码兼容。

Reason

Reason是由Facebook创建和维护的语言，为OCaml编译器提供了新的语法，代码可以转换为JavaScript和本机代码。

作为ML系列和功能语言本身的一部分，它自然地提供了强大但灵活的类型系统，推理，代数数据类型和模式匹配。它还支持不变的数据类型和参数多态（也称为其他语言的泛型），但是与OCaml一样，也支持面向对象编程。

如果是React开发人员，则可以使用绑定，该语言也支持JSX。

HAXE

Haxe是一个多范式的编程语言，其编译器可以生成其他语言的二进制和源代码。

虽然Haxe提供了一个严格的类型系统，支持类型推理，但如果目标语言支持它，它也可以作为动态语言。以同样的方式，它支持各种编程风格，如面向对象，通用和功能。

当编写Haxe代码时，可以定位几种平台和语言进行编译，而无需进行相当大的更改。目标特定的代码块也可用。可以使用相同的代码在Haxe中写入后端和前端，并使用Haxe Remoting实现与同步和异步连接的通信。

Haxe代码与现有库兼容，但也提供了一个成熟的标准库。

Nim

Nim是一种静态类型的多范式编程语言，具有C，C ++和JavaScript编译的极简和空白敏感语法。

语言本身很小，但是它的元编程功能使得你可以自己实现功能，可能会发现内置到其他语言中是有吸引力的。这些构建块是宏，模板和泛型，并且可以将它们从简单的特征实现到不同的范例。这使得Nim成为一种非常多才多艺的语言，可以Lisp的精神适应你的需求。

Nim的语法抽象特性允许将语言适应你问题，使真正的DSL成为可能。如果你有专门的任务解决，你可以获得更高的表现力。