报名参加CloudWeGo黑客松,奖金直推双丰收! 了解详情
写点什么

Scheme 语言即将被一分为二

  • 2009-08-23
  • 本文字数:1559 字

    阅读完需:约 5 分钟

Scheme 指导委员会(The Scheme Steering Committee)提议将Scheme 语言一分为二,并且将其名称暂定为小型(Small)Scheme 和大型(Large)Scheme。

Guy L. Steele Gerald Jay Sussman 于 70 年代发明的 Scheme,最初作为 Lisp 的方言,到今天已经历经了数次修订。 IEEE 1178-1190 Standard 正式定义了 Scheme 的标准,但现实中使用的标准却是 Revisedn Report on the Algorithmic Language Scheme(简称为 RnRS)。其最新版本 R6RS 是 2007 年通过的。考虑到“编程语言就像鲨鱼一样,不动则亡”,Scheme 指导委员会决定继续推动该语言的发展。

委员会提到的主要问题在于,Scheme 并不是真正意义上的编程语言,而是

一系列方言的汇集。它们通过一组共同的特性彼此关联,这些特性包括:词法空间、动态类型、list 结构、高阶函数、尾递归、垃圾回收、宏以及(一定程度上的)基于词汇语法的 S- 表达式。

的确如此,Wikipedia 列出了大量的 Scheme 语言实现: Bigloo Chez Scheme Chicken Gambit Gauche Guile Ikarus JScheme Kawa Larceny MIT/GNU Scheme Mosh PLT Scheme Pvts RScheme Scheme 48 SCM SISC Stalin STk STklos TinyScheme Ypsilon 。根据 Scheme 委员会的报告内容,这些方言的问题在于:

如果程序员需要使用“Scheme”编写一段关键的程序,他就必然受制于某些特定的 Scheme 实现:Bigloo,say(以及其模块语言、异常系统、S- 表达式文法等等),PLT Scheme(以及其模块语言等等),或者其他任何一种可胜任于工程的实现。不过,这意味着应用程序无法跨多个实现执行。更重要的是,和代码模块,比如 URL 解析器,网络协议栈,正则表达式实现等等,都被限制在某一个特定的实现,Scheme 程序员通常要从头开始做一件事情,而不能从其他人的劳动成果中获得益处。

最终导致的结果是,

后来的程序员无法站在以前程序员的肩膀上,而是制造了大量无用的片段和重复。Scheme 程序员之间要彼此重复。

委员会考虑到了 Scheme 语言的分裂,来自于各方面的关注者: 教育工作者,语言工作者,程序员,程序库实现者以及 Scheme 的粉丝。为了解决这个问题,委员会提出了两种独立但彼此兼容的语言。

小型 Scheme

  • 关注者:教育工作者,非正式的库实现者,研究人员,嵌入式语言和“50-page” 语言纯粹主义者
  • 考虑将“IEEE/R5RS 更新到最新状态”
  • ~ 90% 需要等待最终批准

大型 Scheme

  1. 关注者:程序员,程序库实现者
  2. 考虑“优化 R6RS”
  3. ~ 75% 需要等待最终批准

指导委员会并不打算标准化语言,而是

确保Scheme 社区能够继续发展这门语言——它的定义,成长,扩展,标准化和实现。我们的机制是将权利赋予不同的委员会,由他们执行实际的工作,然后由我们收集并认可他们的工作。

两个工作组已经开始起草文档 Small Scheme Group Large Scheme Group 。但是两个工作组至今还没有会员。小型 Scheme 的目的描述如下:

该小型语言包含了 Scheme 的基础特性。它的目标用途包含教育,程序设计语言研究,小型嵌入式系统,嵌入式脚本语言(其适合于在语义级别以及 / 或者实现级别使用某种轻量级语言)。

大型 Scheme 的草案则描述如下,

该大型语言需要解决主流软件开发中的实际问题…

由第二工作组开发的语言必须支持宏、模块和库。

一旦确定了包含哪些特性以后,第二工作组应该考虑 R6RS 包含的所有 Scheme 特性以及对这些特性的评价。

第二工作组也要考虑加入其他新特性是否可行,比如支持网络、线程、国际化,外部功能接口,等等。第二工作组也在积极地推荐新的工作组来负责其他新特性。这些特性都是倍受期待的,但是如果全部由第二工作组负责的话有可能影响他们的主要任务。

两个工作组正在协调彼此的工作,小型 Scheme 的最终提案将会在 18 个月后完成,大型 Scheme 的会在 25 个月后完成。语言的名字届时会最终确定。

查看英文原文 The Scheme Language Is to Be Split in Two

2009-08-23 18:0110040
用户头像

发布了 53 篇内容, 共 14.5 次阅读, 收获喜欢 2 次。

关注

评论

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

IM通讯协议专题学习(九):手把手教你如何在iOS上从零使用Protobuf

JackJiang

倒带ChunJun,同心前行|2022年度回顾&2023年共建规划

袋鼠云数栈

开源

Cloud Kernel SIG月度动态:发布ANCK 5.10-013版本、完整支持Intel SPR处理器

OpenAnolis小助手

开源 版本 内核 龙蜥社区 sig

熊猫小说家功能升级:支持阅读原文+更多功能等你解锁

澜舟孟子开源社区

NLP 大模型 AIGC 澜舟科技

用javascript分类刷leetcode22.字典树(图文视频讲解)

js2030code

JavaScript LeetCode

云小课|使用SpringBoot快速构建FunctionGraph HTTP函数

华为云开发者联盟

开发 HTTP 华为云 企业号 2 月 PK 榜 华为云开发者联盟

为什么西门子、美的等企业这样进行架构升级,看看改造效果就知道了

TDengine

数据库 tdengine 开源 时序数据库

阿里IM技术分享(十):深度揭密钉钉后端架构的单元化演进之路

JackJiang

StarRocks 企业行|走进 58 同城,探索极速统一 3.0 时代的企业实践

StarRocks

数据库

从源码角度看React-Hydrate原理

flyzz177

React

【等保要求】等保要求堡垒机审计日志保留多久?

行云管家

等保 堡垒机 等级保护

2023最新Java面试手册(性能优化+微服务架构+并发编程+开源框架)

小小怪下士

Java 程序员 面试 金三银四

大咖说·图书分享|狼书(卷3):Node.js高级技术

大咖说

node.js 阿里云 开发者

喜讯:行云绽放荣获国家高新技术企业证书

行云管家

高新企业 高新技术 高新

前端工程师leetcode算法面试必备-二叉树的构造和遍历

js2030code

JavaScript LeetCode

详解Redisson分布式限流的实现原理

华为云开发者联盟

后端 开发 华为云 企业号 2 月 PK 榜 华为云开发者联盟

MRS+LakeFormation:打造一站式湖仓,释放数据价值

华为云开发者联盟

大数据 后端 华为云 企业号 2 月 PK 榜 华为云开发者联盟

StarRocks获评「2022 中国开源社区健康案例」!

StarRocks

数据库 开源

Flink X Hologres构建企业级Streaming Warehouse

阿里云大数据AI技术

大数据 数仓 企业号 2 月 PK 榜 分层技术

设计模式第五讲-装饰器模式和代理模式详解

C++后台开发

数据结构 设计模式 后端开发 Linux服务器开发 C++开发

企业级数据平台为什么要“可观测”? | StartDT Hackathon

奇点云

数据平台 可观测 云数据 黑客马拉松 奇点云

为实现跨境文件高速传输,镭速传输都用了哪些技术

镭速

转角遇到爱,资源中心系统和图数据库

鲸品堂

技术 图数据库 企业号 2 月 PK 榜

PMR 提取视频特征,理解上下文

Zilliz

镜舟城市行|镜舟联手永洪科技共话数智运营

镜舟科技

数据库

如何快速实现多指标计算

jiangxl

三十分钟入门基础Go(Java小子版)

京东科技开发者

Java php Go nil 企业号 2 月 PK 榜

一文盘点,ZBC的应用场景与通缩场景

股市老人

GaussDB(DWS)性能调优:indexscan导致的性能问题识别与优化

华为云开发者联盟

数据库 后端 华为云 企业号 2 月 PK 榜 华为云开发者联盟

前端工程师leetcode算法面试必备-二叉树深度广度遍历

js2030code

JavaScript LeetCode

Scheme语言即将被一分为二_编程语言_Abel Avram_InfoQ精选文章