写点什么

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:019875
用户头像

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

关注

评论

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

如果重来,结果就会好吗?「Day 10」

道伟

28天写作

肝了很久,冰河整理出这份4万字的SpringCloud与SpringCloudAlibaba学习笔记!!

冰河

微服务 高可用 高并发 冰河技术 SpringCloud Alibaba

vivo 官网资源包适配多场景的应用

vivo互联网技术

低代码 无服务器云函数

Elasticsearch Search Options 搜索参数

escray

elastic 七日更 28天写作 死磕Elasticsearch 60天通过Elastic认证考试

“蚂蚁牙黑”太火,想玩就用ModelArts做一个

华为云开发者联盟

AI 动画 modelarts 图像

关于搜商的一点记录「Day 9」

道伟

28天写作

产品训练营 - 第五周 - 作业

邹小胖

产品经理训练营

产品经理训练营作业 04

KingSwim

数据产品经理实战-用户运营体系搭建

第519区

算法 数据产品 数据运营

Mac 下配置 Intellij IDEA + Tomcat 出现权限问题的解决办法

少平

tomcat

SARIF:DevSecOps工具与平台交互的桥梁

华为云开发者联盟

安全 DevSecOps SARIF 自动化平台 OASIS

一个15年的架构师谈“如何成为一名优秀的解决方案架构师”

华为云开发者联盟

架构 软件 架构师 华为云

「产品经理训练营」作业 05:知识星球加入星球流程图

狷介

产品经理训练营

Kubelet从入门到放弃:拓扑管理(上)

DCOS

Linux Kubernetes 云原生 kubelet

一篇读懂https的本质、证书验证过程以及数据加密

梁龙先森

大前端 https

云计算带来的变革将如何在2021年加速创新

云计算

工作日志3-1

技术骨干

dubbo 源码 v2.7 分析:核心机制(一)

程序员架构进阶

架构 源码分析 dubbo 七日更 28天写作

大厂动态规划面试汇总,教你如何修炼内功

盼盼编程

算法 动态规划 数据结构和算法 笔试

第五周 继续文档的一些细节

小匚

产品经理 产品经理新人如何落地 产品经理训练营

第五次作业

Geek_79e983

FindBugs:Java 静态代码检查

少平

代码审查

字节跳动力推的OKR,是未来企业发展的标配吗?

ToB行业头条

翻译:《实用的Python编程》03_02_More_functions

codists

Python

左手画条龙右手画彩虹——认知负荷理论

Justin

心理学 28天写作 游戏设计

阿里巴巴Druid,轻松实现MySQL数据库加密!

王磊

Java springboot Druid

Java 中各种DTO,POJO 等的概念

少平

神经网络攻防:01.模型到底是什么?

P小二

神经网络 网络安全 AIPwn AI安全 P小二

小心你的个人信息——GitHub 热点速览 v.21.09

HelloGitHub

GitHub 开源 终端工具 社交

Linux入门篇 —— 手把手教你 Linux 三种网络配置方法

若尘

Linux 网络

关于 Synchronized 的一个点,网上99%的文章都错了

yes

Java JVM

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