标签
一位博士研究生展示了 Ouros，这是一款在 FPGA 上实现、专为 Haskell 设计的基于组合子的图归约处理器，如今已具备完全由硬件处理的 IO 能力，底层无需任何软件运行时。
一篇博客文章，详细介绍如何在 Haskell 中为教学用的 LC-3 汇编语言构建反汇编器，涵盖指令解码、定点清理、后处理以及格式化输出等内容。
一篇 79 分钟的深度博客文章，演示如何在 Java 中实现完整的 Haskell 风格类型类解析，涵盖类型统一、见证者解析、高阶类型以及 Functor、Applicative 和 Monad 等示例。
一位前 Gmail 工程师通过用 Haskell 实现 SMTP，探究发送电子邮件为何成本如此之高，并解释该协议的工作原理，以及为何需要第三方服务提供商来确保邮件送达和身份验证。
一篇博客文章，通过作者在 Haskell 编写的 Redis 服务器克隆项目中添加类型化配置的经验，讲解 Haskell 的 Kind 体系，涵盖值、类型、Kind、高阶 Kind 的类型/数据以及自定义 Kind。
Unison Cloud 已按 MIT 许可证开源。目前公开了四个项目，包括 Nimbus 工作节点、API 服务器（用 Haskell 编写）以及 UI 等，用户可将任意节点池作为分布式计算机来使用。
作者在重写 Haskell 生产代码库时，逐一检视 effect system 的用途，认为其大部分功能并非必需，并指出 early return 与错误处理才是 effect system 真正被使用的地方，进而质疑其必要性。
教程系列第一篇，介绍如何用 Haskell、GTK 4 和 Adwaita 构建一个待办事项应用，涵盖 haskell-gi 自动绑定工具和 Model-View-Update 架构。
一篇博客文章澄清了模块系统（OCaml）与 typeclass（Haskell、Rust）之间的异同，认为 typeclass 主要用于 ad-hoc 多态，而模块服务于模块化抽象；两者都能以一定代价部分地模拟对方。
Edward Kmett 的 Turbo Haskell（THC）通过 Truffle/GraalVM 编译 GHC Core，支持全部 prim-ops、基于 Native Image 的 JIT 与 AOT 编译、面向 Python/Ruby/R/JavaScript 的多语言 FFI、SIMD、基于 Project Loom 的绿色线程，甚至还能编译 GHC 本身。
一篇深入探讨的博客文章（经授权转载自 Alexis King 2019 年的解析），澄清了 `foldl` 和 `foldr` 的区别在于结合律的方向，而非遍历方向，并探讨了这一区别在严格求值与惰性求值下产生的不同效果。
这篇博客文章描述了用Haskell原型设计一个遗传算法库的过程，使用递归方案和单子计算作为上下文，并提供代码示例和资源参考。
本文概述了一种系统的方法来改进 Haskell 构建时间，通过基准测试、识别瓶颈（如慢模块）、分析原因（如过度的类型级编程），并评估优化中的权衡。
Eventlog Live 是一个轻量级工具，能够实现实时遥测流传输，将数据从 Haskell 应用程序发送到兼容 OpenTelemetry 的可观测性平台，无需额外插桩。
文章解释了一种无需中间抽象语法树解析JSON对象以提高性能的方法，该方法在Haskell中使用部分初始化的数据，并讨论了对速度、安全性和代码推导的影响。
本文详细介绍了如何在 Haskell 中为 DataHaskell/Dataframe 库实现 Parquet 文件写入器，以实现高效的数据序列化并与数据科学生态系统互操作。
Tilia 是 Haskell 的一个新格式化工具，它解决了诸如注释处理、运算符固定性推断和 CPP 支持等挑战。