截至 2016 年,是否有支持 100% R7RS(小型)且没有偏差的方案实施?

As of 2016, is there a Scheme implementation which supports 100% of R7RS (small) with no deviations?

我愿意学习Scheme。我想坚持使用 R7RS,因为它是最后一个标准。不过目前Scheme的实现好像有很多碎片,大部分都停留在R5RS或者R6RS的一部分。

我发现唯一支持部分 R7RS 的是 Kawa,但由于它在 JVM 上运行,它不支持尾调用优化,这是反对该实现的一个强项。

Scheme 世界真的如此支离破碎,甚至还没有 R7RS 的完整实现吗?我在问,因为如果没有,我一赶上,就打算建一个;但是,如果有的话,最好不要重新发明轮子并为特定的实施做出贡献。

拜托,如果您有信息,我将不胜感激,不仅要回答名字,还要提供适当的进一步信息(实施的官方网站甚至邮件组的摘录都可以作为参考)。

顺便说一句,我不考虑 Racket,因为它不再是真正的 Scheme。

R7RS Small Language 主席(Working Group 1") committee, Alex Shinn, created Chibi Scheme 随着标准的发展,我相信它是完全兼容的。它是一个字节码编译器。

Larceny 具有大部分(完全?)兼容的 R7RS 模式,并编译为机器代码。

我一直在玩 Picrin,它的目标是符合 R7RS,并且非常非常接近。它是一个字节码编译器。

A list of implementations 在委员会的 wiki 上旨在实现 R7RS 合规性,包括:

  • 赤壁
  • 鸡肉(部分)
  • 煽动
  • 左撇子
  • 诡计(部分)
  • 果壳
  • 卡瓦
  • 盗窃
  • Mosh(部分)
  • 苦味素
  • 射手座

虽然这个问题明确排除了 Racket,因为它不是 Scheme,但我会指出 Racket package "R7RS" 它实现了 R7Rs small。

项目页面上记录了一些小的不兼容性。