R7RS Large Scheme 的过程分册

Lobsters Hottest 新闻

摘要

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实现

Hacker News Top

一个用Rust编写的RAR压缩格式实现,主要由AI语言模型(OpenAI Codex和Claude)编写。如果手动开发可能需要数年时间,但该项目在数周内以低成本完成。

递归模式的隐秘历史

Lobsters Hottest

一场演讲,追溯从goto面条代码到结构化循环,再到递归模式的演化历程,展示控制流抽象如何映射数据结构,以及为何大多数语言仍把最好的组合子藏起来。

Racket v9.2

Lobsters Hottest

Racket v9.2 发布,改进包括更安全的模式匹配检查、Typed Racket 修复、Unicode 17.0 支持,以及许多其他修复和文档更新。

部分静态单信息形式

Lobsters Hottest

本文讨论了部分静态单信息(SSI)形式,这是一种编译器中 SSA 的扩展,用于捕获依赖于路径的类型信息。文章提出了一种在动态语言中构建 SSA 期间实现部分 SSI 的实用捷径,具体引用了 Ruby 的 ZJIT 中的实现。