欢迎阅读新一期 Haskell Weekly！ Haskell 是一种安全的、纯函数式编程语言，拥有快速的并发运行时。 这是对其社区动态的每周总结。

精选

  • 2026 Haskell 工作坊视频现已上线 by The Haskell Foundation

    没去成拉珀斯维尔，或者想重温演讲？本年度 Haskell 实现者工作坊和 Haskell 生态系统工作坊的录像现已在线发布。两场工作坊于 6 月 4 日和 5 日在拉珀斯维尔瑞士东部应用科学大学 (OST) 的湖畔校区举办，与 ZuriHac 同场举行，由 Haskell 基金会主办。

  • Haskell 中的数字电路模拟器（SICP 3.3） by kqr

    在本系列的前两篇中，我们探讨了实现泛型函数的方法。第一种是通过标记值并根据标记分派操作。第二种则是填充一个可变的操作-标记对表。我们看到这些方法大致等价于 Haskell 已有的和类型与类型类特性。现在我们将模拟一个数字电路。这之所以有趣，是因为 SICP 中的解决方案使用了隐藏的可变状态和消息传递来实现面向对象编程。它甚至使用了一个可变的全局变量来调度！我不确定这是否可以在 Haskell 中复制，但正如我们将看到的，它可以非常接近。

  • Haskell 基金会 DevOps 年度日志，2026-07-28 by Bryan Richter

    可能看起来我消失了一段时间，这在一定程度上属实。我有点精疲力尽，还忙于其他合同。但这并没有阻止我取得零星的进展，而且我对一些即将到来的项目重新产生了兴趣。所以，就像迪斯科舞厅里的凤凰一样，我回来了，准备摇动我的尾羽。

  • Haskell、强类型与下一代生物信息学：Michal Gajda 访谈 by Serokell

    在这次与 Michal Gajda 的访谈中，我们探讨了 Haskell 如何支持可靠且高性能的生物数据处理，借鉴了他在 hPDB、JSON Autotype 和 XML TypeLift 等项目中的经验。谈话探讨了强类型为现实世界的生物技术管道带来的价值，为什么纯度可能比惰性更重要，以及函数式编程如何帮助科学软件扩展到越来越多的处理器核心。

  • Haskell 快速迭代的小技巧 by Tom Ellis, Laurent P. René de Cotret

    Haskell 社区最近一直在讨论如何在类型检查和编译 Haskell 代码时实现快速迭代。快速反馈在软件开发中一直很重要，而且由于代理式编程的兴起，我们最近几个月看到对这个话题的兴趣日益增加。本文描述了两种快速迭代的技术：使用 ghci 快速反馈类型检查和编译的结果，以及通过仔细选择 ghc 和 cabal 的标志来加速构建。这些技术可以在任何现有的代码库上运行。它们不需要你以任何方式重构代码，所以你可以立即改善迭代时间。让我们深入了解一下！

  • 《Real World Haskell》重生 by jaror

    这本书非常成功，18 年后仍被新手阅读，但它开始显露出年代感。所以，我现在已将其转换为 markdown 并开始使其现代化。

  • 构造性数据建模的不合理有效性 by Alexis King

    主流语言提供的类型系统已经变得非常复杂，但这种复杂性实际上为程序员带来了多少价值呢？我想说明的是，它可能比人们想象的要少一些。虽然有时很方便，但可以使用一小套简单的工具以原则性的方式在类型系统中捕获不变量，而花哨的类型系统虽然方便，但误导了许多程序员，掩盖了在没有内置类型系统支持的情况下可以建模的内容。本次演讲旨在提供一个简单的视角转变，以及一套具体的设计原则，使在类型中建模不变量对没有花哨语言支持的程序员来说变得容易。

简讯

  • Perspec 1.0 - 一个用于文档照片透视校正的 Haskell 桌面应用 by Adrian Sieber

    经过 9 年的断断续续开发，我很高兴地宣布 Perspec 1.0 版发布，这是一个用于校正文档、收据和白板照片透视的桌面应用。

  • sdl3-bindgen-sys：SDL3 的机器生成低级绑定 by Jeremy Nuttall

    我已将 sdl3-bindgen-sys 发布到 Hackage：完整、机器生成的 SDL3 低级 Haskell 绑定，包括窗口、输入、音频和新的 GPU API，并带有 SDL3 头文件的文档！

  • siza - 在 Haskell 笔记本上与本地 LLM 配对 by Michael Chavinda

    Siza，另一个恩德贝莱语单词，是一个驱动 Sabela 笔记本的工具（以及一些相关的 mcp 工具）。这个工具的目标是解决上述问题。我稍后会发表一篇更长的博文，介绍实现这一点的各种干预措施，但总的来说，这是大量的类型导向搜索和少量的上下文管理。

展示与讲述

  • 欢迎 Case Split 插件回归 HLS by Enrico Maria De Angelis

    今年夏天我是 GSoC 的贡献者，我正将精力和精力投入到 HLS 生态系统中，特别是通过重振一个已经停滞一段时间的插件（Case Split 插件）来推进 #5013。

参与号召