写点什么

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

  • 2016-04-07
  • 本文字数:1475 字

    阅读完需:约 5 分钟

经过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

2016-04-07 19:008559
用户头像

发布了 1008 篇内容, 共 350.6 次阅读, 收获喜欢 330 次。

关注

评论

发布
暂无评论
发现更多内容

带你学够浪:Go语言基础系列 - 8分钟学复合类型

程序员柠檬

后端 Go 语言

第一周UML作业

吴建中

第一周总结

andy

第一周总结

公司出了一款新产品,要不要招代理商?

石云升

用户增长 价值网依赖 产品定位 新产品

[安利] WSL Linux 子系统,真香!附完整实操

猴哥一一 cium

Docker Linux 推荐 WSL2 Windows 10

MySQL 笔记(二)日志系统

奈何花开

Java MySQL

SpringBoot整合Quartz实现任务定时

北漂码农有话说

SpringBoot 2

面试了 6 轮 Google中国 之后,还是挂了

程序猿石头

面试 谷歌Google 经验分享 面经

ARTS-WEEK1

Allen

年龄性别的问题,好像也不是太大问题……

zhoo299

生活 随笔

ARTS-02

NIMO

ARTS 打卡计划 ARTS活动

ARTS打卡Week 03

teoking

ios LeetCode

史上最诡异问题,iOS 单例初始化两次,你遇到过吗?

liu_liu

ios 初始化 单例 两次

食堂就餐卡系统设计

大雄

作业1-食堂就餐卡系统设计

A Matt

第一周学习总结

A Matt

极客大学架构师训练营

软件架构基础

dapaul

架构 架构师 极客大学架构师训练营

HBase 常用 Shell 命令手册

Rayjun

Java HBase

软件建模与设计文档

大雄

UML

架构文档-作业01

ashuai1106

UML

第一周作业

andy

scala callback hell

HackMSF

编程 最佳实践

ARTS-week-2

youngitachi

ARTS 打卡计划

架构师训练营-学习笔记-第一周

心在飞

极客大学架构师训练营

ngrok穿越本地服务器,极客大学架构师训练营 第一课总结,John 易筋 ARTS打卡Week 03

John(易筋)

极客时间 极客大学 ngrok

mybatis 逆向工程使用姿势不对,把表清空了,心里慌的一比,于是写了个插件。

why技术

Java 源码 mybatis

架构师训练营练习:食堂就餐卡系统设计

Shawn

图解Java垃圾回收算法及详细过程!

周果

Java JVM 虚拟机 垃圾回收机制

使用 Docker Desktop 中的 Kubernetes

FeiLong

Docker Kubernetes

极客时间 - 架构师训练营 - week1 - 作业2

jjn0703

极客大学架构师训练营

ARTS 打卡 WEEK3

编程之心

ARTS 打卡计划

LFE将Lisp编程带到Erlang虚拟机上_Erlang_Sergio De Simone_InfoQ精选文章