R7RS Large Scheme 的过程分册
摘要
R7RS Large Scheme 的过程分册是 Scheme 编程语言的 R7RS Large 标准的一部分,旨在属于整个 Scheme 社区,并可自由复制用于手册和文档中。
<p>Scheme Working Group 2 很高兴宣布 R7RS-Large Foundations 第二部分的初稿——<strong>“过程分册”</strong>。该草案包含了熟悉的块编程形式,如 <code>lambda</code>、<code>let</code>、<code>if</code>、<code>or</code> 和 <code>set!</code>。</p>
<p>草案可在此获取:</p>
<p><a href="https://r7rs.org/large/fascicles/proc/" rel="ugc">https://r7rs.org/large/fascicles/proc/</a></p>
<p>最大的新功能是能够在主体(如 <code>lambda</code> 的主体)中混合定义和表达式。例如,以下写法现在有效:</p>
<pre lang="scheme"><code>(define (map f lst)
(unless (list? lst)
(error 'map "not a list" lst))
(define (map* lst acc)
(if (null? lst)
(reverse acc)
(map* (cdr lst) (cons (f (car lst)) acc))))
(map* lst '()))
</code></pre>
<p>我们欢迎对该草案提出任何意见。任何人都可以通过以下方式发表评论:</p>
<ul>
<li>在 <a href="https://codeberg.org/scheme/r7rs" rel="ugc">R7RS-Large 问题追踪器</a> 上提交问题</li>
<li>发送邮件至 <a href="https://groups.google.com/g/scheme-reports-wg2" rel="ugc">工作组 2 邮件列表</a>(无需 Google 账户)</li>
<li>发送邮件至 <a href="https://scheme-reports.simplelists.com/" rel="ugc">Scheme Reports 邮件列表</a>,地址为 <a href="mailto:[email protected]" rel="ugc">[email protected]</a></li>
<li>发送邮件至相应成员 Peter McGoron,地址为 <a href="mailto:[email protected]" rel="ugc">[email protected]</a>。他会将您的意见转发至公开问题追踪器。请告知是否希望匿名。</li>
</ul>
<p><a href="https://lobste.rs/s/yfpl8d/procedural_fascicle_for_r7rs_large">评论</a></p>
查看缓存全文
缓存时间: 2026/05/23 22:50
# 过程分册
来源:https://r7rs.org/large/fascicles/proc/
先前报告的各编辑被列为本分册的作者,以认可本文大部分内容直接复制自先前报告。这并不旨在暗示那些编辑个人或集体支持或不支持本分册。
我们意图使本报告属于整个Scheme社区,因此允许无费用复制其全部或部分内容。特别鼓励Scheme实现者以此为起点编写手册与其他文档,并在必要时予以修改。*注意*,某些章节改编自有署名要求的来源:参见法律部分(如有)以获取详细信息。
相似文章
Rars:一个主要由LLM编写的Rust RAR实现
一个用Rust编写的RAR压缩格式实现,主要由AI语言模型(OpenAI Codex和Claude)编写。如果手动开发可能需要数年时间,但该项目在数周内以低成本完成。
递归模式的隐秘历史
一场演讲,追溯从goto面条代码到结构化循环,再到递归模式的演化历程,展示控制流抽象如何映射数据结构,以及为何大多数语言仍把最好的组合子藏起来。
Rust编译器的大语言模型政策
本文介绍了Rust Forge,这是一个Rust编程语言的补充文档仓库,包含构建、贡献和维护文档的说明。
Racket v9.2
Racket v9.2 发布,改进包括更安全的模式匹配检查、Typed Racket 修复、Unicode 17.0 支持,以及许多其他修复和文档更新。
部分静态单信息形式
本文讨论了部分静态单信息(SSI)形式,这是一种编译器中 SSA 的扩展,用于捕获依赖于路径的类型信息。文章提出了一种在动态语言中构建 SSA 期间实现部分 SSI 的实用捷径,具体引用了 Ruby 的 ZJIT 中的实现。