写点什么

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

2016 年 4 月 07 日

经过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 年 4 月 07 日 19:007845
用户头像

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

关注

评论

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

面试必杀技,讲一讲Spring中的循环依赖

程序员DMZ

spring

枚举算法练习例题(Python版)

罗罗诺亚

Python 算法 枚举

低/零代码干掉了传统的开发模式

代码制造者

编程语言 低代码 零代码 信息化 编程开发

量纲分析(Dimensional Analysis)入门

InfoQ_b5c13aa54782

数学 基础 物理 量纲分析 电磁

DB-Engines 8 月数据库排名:Redis悄悄拔高,猛超Elasticsearch

华章IT

MySQL 数据库 redis Clickhouse SQL优化

实践案例丨教你一键构建部署发布前端和Node.js服务

华为云开发者社区

node.js 后端 服务器 代码 华为云鲲鹏

写作只是消遣?

Geek_db1689

写作 讨论写作 自我感悟 瞎想乱写

别人家的 DevOps 流水线,价值一个亿

Atlassian速递

DevOps 数字化转型 金融 Jira 数字银行

Dell G7 指纹识别设备 - Goodix fingerprint 失效官方解决办法(图文)

Saint_X

硬件

CentOS7 开启3306端口

暴躁小李K

Centos 7 Firewalld防火墙 Liunx

如果你每次面试前都要去背一篇Spring中Bean的生命周期,请看完这篇文章

程序员DMZ

spring 生命周期

关于日期及时间字段的查询

Simon

MySQL sql查询

STM32-ADC简单学习笔记

 

局域网文件共享

冰糖雪梨多冰少糖

局域网共享 iPad air3 文件传输

用python给女朋友做一个歌曲词云图

我是程序员小贱

操作系统bochs安装及使用

allworldg

操作系统

Android |《看完不忘系列》之Retrofit

哈利迪

android

Java-技术专题-synchronized关键字

李浩宇/Alex

自从有了语音开黑小能手,队友再也不会骂我了!

anyRTC开发者

WebRTC 在线教育 直播 RTC RTMP

集成学习方法及应用,破解AI实践难题

博文视点Broadview

人工智能 学习 AI 周志华

谈一谈Kuberflow

soolaugust

tensorflow 学习 kubeflow Kubernetes 云原生

随手记

InfoQ_0d79a8bcf933

数据结构与算法

SWARM学习1——Kademlia分布式路由表协议

AIbot

区块链 DHT 分布式存储 分布式文件存储 分布式路由

面试官:你说你懂i++跟++i的区别,那你知道下面这段代码的运行结果吗?

程序员DMZ

JVM i++

MySQL关于日期为零值的处理

Simon

MySQL

全站加速在互联网媒体应用上的最佳实践

阿里云Edge Plus

CDN

区块链、人工智能……警惕非法金融借创新概念迷惑投资人

CECBC区块链专委会

区块链 金融

恢复青春气息,就靠这套人像美肤算法了

博文视点Broadview

算法 计算机视觉 图像识别 人像

是时候学习Linux了

Simon

Linux

MySQL5.7升级到8.0过程详解

Simon

MySQL

易观郭炜:流动水系数造未来

易观大数据

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