LFE 将 Lisp 编程带到 Erlang 虚拟机上

  • Sergio De Simone
  • 谢丽

2016 年 4 月 7 日

话题:Erlang语言 & 开发

经过 8 年的开发Lisp Flavoured Erlang(LFE)达到了 1.0 版本,将 Lisp 编程稳定支持带到了 Erlang 虚拟机上(BEAM)。LFE 由Erlang 最初开发者之一的 Robert Virding 创建。

LFE 是一个 Erlang 编译器的 Lisp–2(即类 Common Lisp)前端,这意味着它允许基于宏的元编程,并支持使用递归和高阶函数。为了同 Erlang 的理念保持一致,LFE 采用了一种消息传递参与者模型,该模型严格执行一种“无共享”范式,并完全支持模式匹配。由于它生成的代码同 Erlang 百分之百兼容,所以 LFE 可以同普通的 Erlang 和使用开放电信平台(OTP)的应用程序完美共存,其中,OTP 是 Erlang 中一个中间件和库的集合,旨在支持创建高可用、并发、可扩展的架构

对于使用 Erlang 和 LFE 定义一个列表元素求和的递归函数的语法,下面的代码片段提供了一个基本的比较:

Erlang:

  sum(L) -> sum(L,0).
  sum([], Total) -> Total;
  sum([H|T], Total) -> sum(T, H+Total).

LFE:

  (defun sum (l) (sum l 0))
  (defun sum
    (('() total) total)
    (((cons h t) total) (sum t (+ h total))))

按照 Lisp 惯例,LFE 可以通过 REPL 使用,这使得试用和试验这门语言的特性更容易。REPL 及其他用于任务管理、项目创建和依赖管理的工具均由lfetool 项目提供。它可以通过 Docker 运行docker pull lfex/lfe进行安装,其中会包含创建和运行 LFE 项目所需的所有组件。

还有一点值得注意,LFE 维护者承担起了编写《计算机程序的构造和解释LFE 版本的任务,该书是 Gerald Jay Sussman 和 Hal Abelson 的经典著作。不过,这项工作目前尚处于准备阶段。

为了了解更多关于这门语言的信息,InfoQ 采访了 lfetool 及许多 LFE 库的维护者 Duncan McGreggor。

经过多年的开发之后,LFE 近日达到了 1.0 版本。这意味着什么?对于在生产环境中使用,您如何评价 LFE 的稳定性或准备状态?

Robert 以前已经在 LFE 邮件列表和推特上提到过这一点,但 v1.0 本质上是随意定的。对于 1.0 版本,它已经准备好很长一段时间了。实际上,据我们了解,有多家知名公司和少数创业公司在生产环境中使用了 LFE。其中有一部分已经在生产环境中使用 LFE 几年了。这很容易理解,因为 LFE 的编译结果同 Core Erlang 百分之百兼容。Erlang 已经在生产环境中稳定运行几十年了。

在 Erlang 虚拟机上使用一门类 Lisp 语言有什么好处呢?

关于 Lisp 的好处,就是从 60 年代开始人们所说的那些:灵活性和通用性(借助 REPL、宏、同像性、轻松创建 DSL 的能力,等等。)将这些好处同 Lisp 社区数十年来所做的、可供 LFE 借鉴的有关语言 / 库的工作相结合,你会有非常令人印象深刻的资源可供汲取。虽然任何现代 Lsip 都可以添加 Erlang 的核心特性,诸如高并发和容错功能,但对于需要创建分布式系统的 Lisper 而言,LFE 有点让梦想变成现实。

您可以分享一些关于 LFE 路线图的见解吗?LFE SICP 的开发速度如何?

现在,对于 LFE,其中一个最为优先的事项是更新文档(合并、更新、支持多版本、让用户 / 读者更容易贡献)。为了让 LFE 社区成员统一到单个实用的用户体验上,相关工作值得我们花几年去做。那有许多工作要做!我们已经有了一个新的设计,目前正在探索从多个文档源生成内容。关于这一点,我们缓慢但稳步地推进,希望这些工作会受到 LFE 社区的欢迎。

有关将 SICP 转换成 LFE 的工作过去停滞了(由于主要编者的工作安排),但受到近来文档工作的鼓舞,那项工作已经重启。上周已经进行了多项支持性更新——很快会有更多的内容。

LFE 托管在GitHub上,可以从 Homebrew、Docker 和源代码安装

查看英文原文:LFE Brings Lisp to the Erlang Virtual Machine

Erlang语言 & 开发