已经有了CoffeeScript、TypeScript、PureScript,现在又有了ReScript。它是最近才出现的,而且正试图取代古老的、由微软支持的TypeScript的位置。
ReScript与其他所有替代品有什么不同?
和其他许多替代品类似,它也是一个关于强类型系统的JavaScript”应该是什么样子“的观点式版本。根据他们的网站,这个类型系统应该:
- 比Typescript的更好,因为它更简单,而且是推断式的。TS可以推断一些类型,但它并不建议这样做。但是ReScript可以,而且他们的解释器在捕捉这些类型错误方面也相当出色。
- 它是静态的,因为它在运行时不被使用。你可能会好奇,这是否是对问题的过度简单化。但是根据官方的说法,编译期间的静态推理正是你所需要的,以确保代码不受那些讨厌的错误的影响。
- 它的速度很快。有开发者用该语言进行测试后证明了这一点。有了VSCode插件, 你所要做的就是保存文件,得到即时的反馈。
他们的类型系统听起来很不错,但这并不是TS能成为更好的替代品的全部原因。还有一个事实是,它并不试图成为JavaScript的超集,而是一个精心策划的功能列表。
这意味着它将原始语言提炼成它认为合适的东西。这意味着在实践中,你将没有类这样的结构,没有控制台这样松散的全局对象,也没有分号这样的东西。
你作为一个JavaScript(或TypeScript)的开发者,想要了解一个新事物意味着你必须重新学习语言。这不仅仅是用RS添加类型注解,你还必须重新学习所有东西的工作原理。这是不是太麻烦了?但是如果你也使用过其他语言,如Ruby或Python的话,这一转变应该不会很困难。
例如,现在的IF语句变成了。
IF条件的括号不再需要了。IF的主体是一个表达式,返回最后执行的行。你可以把整个结构分配给一个变量,就像你在vanilla JS中使用三元操作符那样。
ReScript 在 JavaScript 方面有什么新特点?
作为一个JS开发者,你期望RS增加了什么价值?
除了推断类型系统外,还有:
- 管道,它是一种反向编写函数调用的方式。换句话说,如果你有myFunction(argument),你可以做argument->myFunction,从而模仿缺少的OOP方法。
- 现在已经没有const了。事实上,现在所有东西都是常量。或者换句话说,现在你用let声明你的变量,就像你在JS中用const声明一样。你可以用let重新定义变量,从而取代它的旧值,虽然不推荐,但这是实现突变的一种方式。
- 模式匹配。RS将模式匹配添加到switch语句中。通过模式匹配,可以测试记录/变量的形状而不是它们的值。鉴于任何旨在解决这个问题的OOP模式都不会被你利用,所以这是一个非常需要的功能。
鉴于模式匹配 是继RS的类型推理之后最好的功能,可以看一个例子:
正在声明一个具有特定形状的Teacher类型的记录,在switch里面还有一个叫做Student的记录类型。switch的模式匹配功能允许我们检查变量person1的形状,并根据我们是否在处理一个Teacher来做不同的事情。甚至在每个匹配块里面,你都可以把匹配的对象解构为变量,然后可以使用这些变量。
这绝对是一个强大的功能,因为你不能声明多个类并在它们里面封装这种行为。
除此之外,RS还带来了其他什么吗?还有一大堆已知概念的重命名。
RS的重命名
RS在重命名或改变我们处理旧概念的方式方面做得很好。
例如:
- Tuples。由于数组必须是类型化的,也就是说,它们里面只需要包含一种类型的变量,你可以定义一个元组,它是一个固定大小的数组,里面有任何东西。它也是不可变的和有序的。但是,它只是一个好的老数组,语言不会让你改变它的。
- Records。如果你曾经学过C语言,这就是你的结构。如果你曾经做过Javascript,那么这就是你的对象字面。经过测试,你甚至可以给记录的属性分配函数。
- Variants。JavaScript没有Enum的概念,但是如果你尝试过其他语言(甚至是TypeScript),你就会看到它们。它只是一个常量组的列表。这就是Variants,另外一个例外是它的属性可以接收参数。比如说:
在上面可以看到如何比较两个分配了相同枚举值的变量,然而由于它们收到了不同的参数(第6行和第7行),那么它们就不会相同。另一方面,如果你把val1和val2重新分配为NoValue,那么IF条件就会变成真。
这并是一个革命性的概念。
- Lazy value。Lazy value 是一个代码块,你可以让它变得 "懒惰",因此你声明它,但它不会执行,直到你强迫它执行。当它最终执行时,它也会被缓存起来,所以下次你运行它时,它将返回缓存的值。老实说,这就是一个备忘函数,这就是它的全部内容。当然,有原生的记忆化功能是很好的,但话说回来,这并不是一个多么复杂的话题。
不好的部分
除了新语言的闪亮的外表之外,RS也有一些不好的地方。
在对该语言进行短期测试时发现的不好的部分:
- 推断类型意味着没有 "真实 "的值。在RS中,你需要确保你在IF语句中使用的表达式是一个布尔值。
- 错误信息并不那么好。如果希望人们使用你的语言,错误信息就必须清晰易懂。你认为下面这个错误信息是什么意思?
这个错误信息并不清晰,因为。
- 测试时并没有在那个地方写过一行代码。
- 它指的是什么论据,代码有好几个。
这个问题的答案是:测试者用let来定义Enum,而不是用type关键字。 很显然,这不是开发者所期待看到的错误信息。
看看下一个问题:
这是测试者最后一次尝试从Node.js导入fs模块。错误信息写着 "index out of bounds",什么原因呢?
相信精通ReScript之后一定能理解这个错误,但这不是一个好的开发者体验,它阻碍了采用。
ReScript会成为新的标准吗?
这个问题很难说。RS其实并不是一个新项目。该语言目前是9.1版本,它的官网也非常详细。
然而,在9.1版本中仍然存在这些问题,似乎意味着并没有很多人在使用它或关心它,来报告或帮助解决这些问题。
ReScript的一些想法很有趣,无疑提供了一些前进的方向,然而,在与TypeScript相抗衡之前,该团队仍有许多地方需要改进。
你以前尝试过ReScript吗?现在你读到了关于它的报道,你会选择尝试吗?你还见过哪些其他类型的Javascript?