本文最初发表于Flow官方博客上。

4月26日，Area9在GitHub上以开源的形式发布了Flow。Flow是一个完整的平台，用户能够使用函数式编程语言编写可以在任何地方运行的应用程序。每天都有新的编程语言发布，编程语言已经这么多了，为什么我们还需要一门新的语言呢？

历史背景

Flow是大约9年前构想出来的。那时的世界大不相同，HTML5还不存在，在浏览器上运行复杂代码的唯一方法是使用Flash。

而现在Flash已经过时了，但作为一家企业，Area9以前需要一种方法来编写在Flash中以及iOS和Android上运行的软件。我们的自适应学习产品在客户端做了大量的数据处理，为计算出最佳的自适应路径。但是这不会扩展到服务器端的数百万用户。所以我们别无选择，只能使用Flash，但我们也知道Flash最终会消亡。

很长一段时间以来，我们尝试修改Haxe来做到这一点，但在那个年代，我们无法让它在内存受限的移动设备上表现得足够好。Haxe是一种很棒的语言——我们仍然在Flow的JS运行时中使用它——但事实证明，要让它在第一代iPhone和Android手机上运行得很好太难了。（从那时起，Haxe已经取得了长足的进步，现在已经可以很好地工作了。）

但在当时，作为一家企业，我们的选择是有限的。那时候，智能手机上的应用程序还没有真正出现。我们是一家初创公司，我们的客户不会为我们开发的同样东西三次付费。我们明白，移动设备至关重要，因为那就是未来。因此，它让我们别无选择：要么忽视移动平台并在未来失败，要么设法自己解决这个问题。

所以，我们将问题定义为：设计和实现尽可能小的语言，让我们可以完成这个任务。我们的目标是能够安全、快速地为所有主流平台编写复杂但易于使用的漂亮UI，而这正是Flow。

历史里程碑

当我们开始在Flow中实现我们的学习软件时，扩展并改进了其功能。以下是一些关键的时间点：

2010年8月：第一个Flow程序在Flash & HTML5上运行；
2013年11月：第一个App在iOS商店通过审批；
2014年4月：第一个App在iAndroid PlayStore通过审批；
2015年11月：Flash退役，Flow在浏览器中完全迁移到HTML5；
2016年1月： Google Material指南实施；
2016年11月：增加64位JIT；
2018年5月：使用Flow本身编写自托管的编译器；
2019年4月：发布第一个开源版本。

在这9年中，Flow逐渐发展成为一个成熟可靠的平台。Flow中的代码被数百万用户使用，并在现实生活中得到了验证。

有那么多的东西可以用，为什么Flow很有价值？

主要原因是Flow是一个稳定、成熟的平台，它不仅提供了编程语言、增量编译器、多后端，而且还提供了一个功能强大的标准库，包括一个一流的UI库。

Flow语法非常简单，易于学习、读写，并且基于函数语言家族中的清晰语义，使用了大多数程序员都熟悉的C风格语法。

它是一种实用的语言，具有可以利用类型推断的静态类型，但在需要时也支持动态类型。它提供了开箱即用的安全性和防故障能力。它鼓励函数式代码，但在需要时也支持可能带来副作用的引用。

因此，就其本身而言，Flow是一种很好的语言，可以与其他语言相抗衡，简单易用，并且在与其它编程语言更为具体的比较中，支持简单的代码构建跨平台UI是最大亮点。

UX是最大的特性

Flow之所以重要，主要是因为UI的标准库Material。这是我们多年来设计和实现的这一类别的库的第四代，当你编写跨平台的应用程序，如果需要在浏览器、平板电脑和手机上使用键盘、鼠标和触屏时，它会成为真正重要的东西。

设计一个适合自己和一小群程序员的UI工具包是一回事，而设计和改进一个允许数百名程序员一起快速安全地生成一个连贯而漂亮的用户界面的工具包则比较困难。在没有大量图形设计人员和UI/UX专家来详细设计所有内容的情况下，会更难。

因此，在我们的经验中，Flow实现所需的代码比HTML+CSS+JS中的代码少2~4倍，甚至比使用C#、Swift或Java的标准框架所需的代码还要少。更重要的是，开发人员的初始实现通常也会非常好，无需多次迭代就能达到生产质量。

Flow作为一种函数式语言也意味着UI代码是高度可组合的，促进了大量重用。简而言之，这意味着构建应用程序的生产率非常高，而且不必在用户体验的质量上做出妥协。

Flow vs HTML5

JavaScript框架非常丰富，功能非常强大，是当今最流行的编写应用程序的技术，不仅可以在线使用，还可以作为Progressive Web App在设备上使用。

基于HTML的技术依赖于浏览器非常强大的功能，但也面临框架频繁更改的挑战，也许现在是最流行的框架，但每隔两年就会有新的东西出现。Flow多年来一直很稳定，并且已经证明自己有能力与最好的框架竞争。如果你学会了Flow，那你可能就不需要频繁学习其它新东西。

Flow还有另一个优势，举例来说，React教程中曾介绍了一个井字游戏示例，实现以后可以和另一个人进行比赛。在React的实现中使用了112行JavaScript、38行HTML和51行CSS，总共200行。

而同样的游戏使用Flow只需要83行。

值得注意的是，在Flow中，你不必将代码分割为三种不同的语言。这使得学习和编写都变得更容易。完全相同的Flow代码可以作为iOS和Android的原生应用程序运行，并且外观和行为都是一样的。

因此，UI实现的总体复杂性在Flow中更低，因为它只涉及一种简单的语言，所以更容易学习。根据我们的经验，它还可以更好地扩展到具有许多复杂交互的、漂亮的、响应性、自适应UI。由于所有代码都是用一种语言编写的，因此更容易进行推理和重用。最重要的是，它可以像本地应用程序一样运行。

如果我们比较这两种语言本身，JavaScript和TypeScript的语义相对复杂，而Flow是一种简单而强大的语言。

Flow vs 多范式语言

许多语言，如Java、C#、C++和Swift都是多范式语言，它们同时支持OO、函数式和命令式范式。它们提供很棒的库，被数百万人用来编写我们每天都在使用的应用程序。

如果我们将Flow与这些语言进行比较，最大的区别是Flow代码更短，更容易理解。原因有以下几点：

轻量级的、强大的基于表达式的语法。Flow的语法有255行，包括注释，总共25个关键词。
类型系统很简单，但是仍然支持类型推断、子类型和动态类型。抽象数据类型允许通过编译器的强类型检查对数据进行自然建模。
一致的标准库。因为Flow是一种函数式语言，所以标准库就是围绕这个范式设计的。特别是，我们大量使用函数式反应式编程来处理交互性。这意味着各个部分可以很好地组合在一起，即使对于UI代码，也具有很高的组合性。
代码通常很容易理解，部分原因是没有混合多种范式及其交互。没有重载、没有隐式转换、空指针或方法重载。当你阅读代码时，可以确切地看到它做了什么，因为语法和语义是一致的，并且不随上下文而改变。
Flow将HTML视为一级目标。上述语言不能自然地在浏览器中运行。其中一些提供了实验性的WebAssembly目标，但是这些目标需要比较大的运行时，因此需要大量的下载。令人惊讶的是，它们的运行速度比JS慢很多倍，而且UI工具包没有移植到浏览器中。因此，使用这些语言不容易编写包含浏览器在内的多平台代码。

除了最后一个优势外，其它优势都是和函数式编程语言共享的，比如ML或Haskell。那么，与函数式语言相比，Flow怎么样呢？

Flow vs 其他函数式语言

Flow完全属于ML语言家族。它是饿汉式、强类型、具有类型推断，支持可能带来副作用的引用。因此，它最接近ML、OCaml、F#等类似的语言。

可以说，它们之间最大的区别在于语法。Flow被有意设计成使用带有花括号的C语言家族语法，这对于大多数来自JavaScript、Java、C#和类似语言的程序员来说更容易学习。但是，与这些语言相比，Flow仍然是一种基于表达式的语言，因此，在简单性和表达性之间保持了很好的平衡。

另一个不同之处是Flow故意避免了ML中我们认为初学者很难学习和使用的部分。Flow的函数需要括号，如f(1,2)与f 1 2，这种做法有助于消除是哪个函数的参数的歧。

函数在Flow中是一等公民，并且有未命名的Lambda表达式，但是Flow不支持“局部套用（currying）”。局部套用是一种非常强大的技术，通常被认为是函数式范式的关键部分。那么，为什么Flow不支持呢？关键原因是，作为一个初学函数式编程的人，局部套用很难理解，并且会使代码更难阅读。你有时会对符号序列的类型和含义产生疑问。所以，我们一直没有支持局部套用，局部套用使用得不够频繁，它需要一个语法上的快捷方式，与编写一个只在局部生效的短短的Lambda表达式相比，它会使理解变得复杂。

ML及类似语言的一个主要优点是强模式匹配。Flow支持简单的模式匹配，但不支持嵌套模式或守护模式。这主要是因为Flow希望保持语言简单。在Flow中，基本的Flow编译器是自托管的，模式匹配肯定有助于缩短一些代码。但在编译器之外，我们的经验是它并不常用。也就是说，添加这一个特性的拉请求将受到欢迎。

一般来说，Flow代码通常比ML代码稍微长一些，尤其是Haskell，这在一定程度上是有意为之，因为我们认为过于简洁的代码可能会让非专家人员难以理解。

出于同样的原因，Flow的类型系统是一个相对简单的Hindley-Milner，没有Monad或类型类。它支持子类型和动态类型。这似乎提供了一个安全性和表达性的最佳结合点。在编写复合UI代码时，子类型帮助很大。UI组件在很多方面都有细微的差别，因此，子类型有助于使API接口之间相互更加独立，更易于理解和学习，同时仍然具有强类型的优点。

简而言之，如果你喜欢函数式语言，并且想要编写具有漂亮UI的应用，Flow是一个不错的选择。它很简单，经过验证，带有一个成熟的、功能强大的UI库，它可以借助一个很小的运行时在Web上运行，也可以作为原生应用在移动设备上运行。

发现Flow与其它语言之间的差异

我们还可以将Flow与脚本语言（如Python）、Lisps、Prolog和其它语言进行比较。Flow的好处主要体现在之前说的地方，只是会有些微差异。如果你想要知道详细的差异，那么可以亲自去GitHub上体验一下Flow。
查看英文原文：Flow. Why, oh why – one more language?

创作场景

Flow 开源，我们还需要一门新语言吗？