面向程序员的逻辑学 v0.15,现场编程
摘要
Hillel Wayne 宣布其著作《Logic for Programmers》的 0.15 候选版本,并重点介绍了一场以 Strudel 和 CLAVIER-36 为特色的现场编程聚会,用于音乐编程。
<p>《<a href="https://logicforprogrammers.com" target="_blank">Logic for Programmers</a>》发布了新版本!这个 0.15 版本是第一个真正的候选版本。我还有一些小的润色需要做,但所有内容都已定稿,并经过文案编辑和校对。除非出现绝对重大的问题,下一个版本将是 1.0,并会提供印刷版。完整的发布说明请参见<a href="https://github.com/logicforprogrammers/book-assets/blob/master/CHANGELOG.md" target="_blank">此处</a>。</p>
<p>(我还在测试一个较小的低边距 PDF 是否更适合手机和电脑。印刷版将会有更大的标准边距。请告诉我你对这次实验的看法!)</p>
<p>总之,我弄伤了手腕,无法写整篇新闻简报,所以就只做几个推荐。我的朋友 <a href="https://whal.ing/" target="_blank">Richard Whaling</a> 邀请我参加了 <a href="https://www.instagram.com/reel/DYzyJ-ZJ-7S/" target="_blank">首次 livecode.chicago 聚会</a>,非常酷!其中,人们演示了两种用于音乐现场编程的语言:</p>
<ul>
<li><a href="https://strudel.cc" target="_blank">Strudel</a> 是一个功能丰富的 JavaScript DSL,看起来相对容易上手。</li>
<li><a href="https://clavier36.com/about" target="_blank">CLAVIER-36</a> 是一种从头构建的专用语言,其程序表现为二维网格。</li>
</ul>
<p>这一切让我有点希望自己懂一些音乐基础,因为比较和对比各种现场编程语言的方法似乎会很有趣。如果你对这个感兴趣,可以去看看!</p>
<p>(为完整起见,Strudel 是 Haskell 语言 <a href="https://tidalcycles.org/" target="_blank">TidalCycles</a> 的移植版,而 C36 的灵感来自 <a href="https://metasyn.srht.site/learn-orca/" target="_blank">Orca</a>。)</p>
查看缓存全文
缓存时间: 2026/06/18 00:52
# 面向程序员的逻辑学 v0.15 与现场编程
来源:https://buttondown.com/hillelwayne/archive/logic-for-programmers-v015-livecoding
《面向程序员的逻辑学》(https://logicforprogrammers.com/)发布了新版本!这一版 v0.15 是真正的首个发行候选版。虽然还需做少量微调,但所有内容都已就位,并完成了编辑和校对。除非出现重大意外,下一版就是 1.0 版,并将提供印刷版。完整的发布说明请见这里(https://github.com/logicforprogrammers/book-assets/blob/master/CHANGELOG.md)。
(同时,我也在测试一款边距较小的 PDF 是否更适合手机和电脑阅读。印刷版书籍将采用更大、更合理的边距。欢迎告诉我你对这个实验的看法!)
总之,我手腕受伤了,没法写整期通讯,所以就简单推荐几个内容吧。我的朋友 Richard Whaling(https://whal.ing/)邀请我参加了首届 livecode.chicago 聚会(https://www.instagram.com/reel/DYzyJ-ZJ-7S/),非常酷!其中,人们演示了两种用于音乐现场编程的语言:
- **Strudel**(https://strudel.cc/)是一种功能丰富的 JavaScript 领域特定语言,上手相对友好。
- **CLAVIER-36**(https://clavier36.com/about)是一种从零构建的专用语言,其程序以二维网格形式呈现。
这让我有点希望自己懂一些音乐基础,因为比较和对比各种现场编程语言的不同方法看起来会非常有趣。如果你对此感兴趣,不妨去看看!
(补充说明:Strudel 是 Haskell 语言 TidalCycles (https://tidalcycles.org/)的移植版,而 C36 则受 Orca (https://metasyn.srht.site/learn-orca/)启发。)
*如果你在网页上阅读本文,可以在这里(https://buttondown.com/hillelwayne)订阅。每周更新一次。我的主站在这里(https://www.hillelwayne.com/)。*
*我的新书《面向程序员的逻辑学》现已提前开放!点击这里(https://leanpub.com/logic/)获取。*
相似文章
《程序员逻辑》新版发布与下一步计划
Hillel Wayne 宣布其著作《程序员逻辑》发布 v0.13 版本,包含大量重写和新内容,并概述了迈向印刷版的下一步计划。
《Logic for Programmers》新版本(以及本通讯的未来)
Hillel Wayne 宣布其著作《Logic for Programmers》推出 0.14 版本,并透露将加入 Antithesis 担任开发者教育家,计划继续运营本通讯,但侧重点有所调整,频率可能降低。
Logic for Programmers 额外内容
Hillel Wayne 为其著作《Logic for Programmers》发布补充章节,涵盖并发进程、一阶逻辑、Liskov 历史规则及排序等主题。
《Logic for Programmers》食物募捐活动只剩一周
Hillel Wayne为其书籍《Logic for Programmers》提供折扣,以此推广为Greater Chicago Food Depository举办的募捐活动,并分享了关于结构化并发和goto语句历史的技术笔记。
新博客文章:我写的一些傻乎乎的Z3脚本
Hillel Wayne分享了他编写的Z3脚本,讨论了逻辑性质方面的挑战以及他即将出版的书籍Logic for Programmers中的“糟粕”概念。