标签
变异测试现已在 sydtest Haskell 测试框架中正式发布，开发者可通过自动生成代码变异并验证测试套件是否能捕获这些变异，从而客观评估测试质量。作者的动机源于 AI 生成代码（通过 Claude）的兴起，以及对测试覆盖率进行客观、自动化度量的需求。
H2JVM 是一个Haskell库，允许开发者直接在Haskell中编写JVM字节码，支持底层JVM操作。
本文提出了一种从独立组件组合数据类型和函数的技术，并将该方法扩展到结合自由单子，从而实现了对Haskell的IO单子的模块化结构。
本文探讨了GHC中最优的ApplicativeDo调度问题（该功能因性能缓慢默认关闭），并将其与RNA折叠中使用的动态规划算法进行类比，以改善编译器的性能。
一份介绍性的 literate Haskell 文档，探讨余代数和自动机之间的关系，展示如何利用范畴论中的 fold 和 unfold 操作来建模状态机。
Jack Kelly 提供了一个端到端的示例和演讲幻灯片，展示如何使用OCI容器和OpenTofu将Haskell函数部署为AWS Lambda。
宣布 feed-repeat v1.0 发布，这是一款可自托管的工具，能将 RSS/Atom 订阅源中的旧文章重新发布到新订阅源中，用于间隔重复。
Hsrs 是一个类型安全的 FFI 绑定生成器，允许从 Haskell 调用 Rust 代码，具有自动内存管理、类型转换和 Borsh 序列化功能。它在 Rust 中提供注解，并生成符合语言习惯的 Haskell 包装器。
这篇博客文章提供了一个用Haskell实现的Profunctor装备的玩具实现，包括自然变换和组合，旨在让范畴论概念对程序员来说更易于理解。
Accelerate 是 Haskell 中用于高性能并行数组计算的嵌入式领域特定语言，支持在线编译到多核 CPU 和 CUDA GPU。
本技术博客详细介绍了 GHC 版本 9.10 至 10.0 中异常注解的状态和用法，涵盖了回溯类型及针对 Haskell 开发者的调试策略。
爱丁堡大学研究人员提出了一种利用 Liquid Haskell 进行形式化验证的自博弈框架，用于训练 LLMs 的语义等价推理能力，同步发布了 OpInstruct-HSx 数据集（28k 个程序），并在 EquiBench 上实现了 13.3 个百分点的准确率提升。