BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

Scheme语言即将被一分为二

| 作者 Abel Avram 关注 10 他的粉丝 ,译者 韩锴 关注 0 他的粉丝 发布于 2009年8月24日. 估计阅读时间: 5 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

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

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

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

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

的确如此,Wikipedia列出了大量的Scheme语言实现:BiglooChez SchemeChickenGambitGaucheGuileIkarusJSchemeKawaLarcenyMIT/GNU SchemeMoshPLT SchemePvtsRSchemeScheme 48SCMSISCStalin, STkSTklosTinySchemeYpsilon。根据Scheme委员会的报告内容,这些方言的问题在于:

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

最终导致的结果是,

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

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

小型Scheme

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

大型Scheme

  • 关注者:程序员,程序库实现者
  • 考虑“优化R6RS”
  • ~ 75%需要等待最终批准
  • 指导委员会并不打算标准化语言,而是

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

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

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

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

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

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

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

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

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

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

    评价本文

    专业度
    风格

    您好,朋友!

    您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

    获得来自InfoQ的更多体验。

    告诉我们您的想法

    允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

    当有人回复此评论时请E-mail通知我

    我晕了 by wang egmkang

    ..

    好事儿! by Zoom Quiet

    为什么开发语言社区都这么团结呢?
    中国从来没有这种氛围...

    允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

    当有人回复此评论时请E-mail通知我

    允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

    当有人回复此评论时请E-mail通知我

    2 讨论

    登陆InfoQ,与你最关心的话题互动。


    找回密码....

    Follow

    关注你最喜爱的话题和作者

    快速浏览网站内你所感兴趣话题的精选内容。

    Like

    内容自由定制

    选择想要阅读的主题和喜爱的作者定制自己的新闻源。

    Notifications

    获取更新

    设置通知机制以获取内容更新对您而言是否重要

    BT