Well-Typed at ZuriHac 2026

Issue 536

Bản tin Haskell Weekly số 536 cập nhật tin tức cộng đồng với đề xuất sửa đổi báo cáo ngôn ngữ Haskell 2010, cuộc phỏng vấn về Daml dành cho nhà phát triển Haskell, các bản release candidate GHC 9.12.5-rc3 và 9.14.2-rc1, bài viết về thiết kế parser, kỷ niệm 20 năm dự án Pandoc, thư viện mới Hodatime, hỗ trợ escaping query-string sắp tới trong Servant, và lời kêu gọi ứng tuyển vào Ủy ban Lãnh đạo Kỹ thuật mới của Haskell Foundation.

Nếu bạn đang tìm cách nâng cao hiệu quả phát triển ứng dụng với Haskell—đặc biệt là khi làm việc với GHC, thư viện mới hoặc các vấn đề thiết kế—bài này sẽ giúp bạn cập nhật những thay đổi quan trọng nhất trong cộng đồng, từ phiên bản mới nhất của GHC đến các công cụ như Servant và Pandoc, giúp tối ưu hóa dự án của bạn.

Daml for Haskellers: interview with Heitor Toledo Lassarote de Paula

In this interview with our Daml Team Lead, Heitor, we examine which Haskell intuitions transfer successfully to Daml, where analogies such as Update and IO break down, and how developers should reason about authorization, visibility, contract lifecycles, and testing. We also discuss learning paths and tooling for Daml developers, common mistakes made by Solidity programmers, and the practical topics covered in the upcoming Daml Smart Contracts Development Guide.

Issue 538

Bản tin tuần này của cộng đồng Haskell giới thiệu phiên bản Cabal 3.18.1.0, dự án biên dịch chéo GHC 9.8 cho iOS từ đầu, bài nói về cải tiến Haskell cho khoa học dữ liệu, chia sẻ của Simon Peyton Jones về nguồn gốc và tương lai của ngôn ngữ, cùng nhiều cập nhật nhỏ khác như Hasql v2, Ormolu, thư viện Redis, và các công cụ lập trình cơ sở dữ liệu.

Lập trình viên Haskell sẽ tìm hiểu cách tối ưu hóa dự án hiện tại bằng cách khám phá các công cụ mới như Ormolu và Hasql v2, đồng thời cập nhật kiến thức về xu hướng như GHC 9.8, cơ sở dữ liệu và ứng dụng khoa học dữ liệu trong ngôn ngữ này.

Why Function Arguments Are Not Function Colors

An essay reframes the long-running 'function colors' debate by proposing a precise criterion: a change is a 'color' only if it forces itself immediately and inescapably on every caller in the stack, rather than being encapsulated by an intermediate function. Using Go's context.Context as a counterexample, the piece shows that ordinary function parameters are not colors because callers can trivially satisfy them (e.g., context.Background()) without propagating change upward. It then applies this lens to Haskell, arguing STM and IO qualify as colors (with STM riding on IO's color) while State does not, since State changes can always be locally encapsulated. The piece closes by noting async in JavaScript and Zig only partially fits the color definition depending on implementation specifics.

"Five-Point Haskell": Unconditional Election (via Parametricity)

Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.

Issue 537

Bản tin tuần này cập nhật về cộng đồng Haskell với các chủ đề: chạy script Haskell nhanh trên GitHub Actions nhờ Magix, phỏng vấn về tài chính an toàn kiểu (type-safe finance) tại Bitnomial, trình giả lập mạch số thuần chức năng từ SICP, tuyển dụng tại Standard Chartered, cảnh báo về gói cryptonite-verse dễ bị tấn công, hai game engine mới (Game::Dangerous và Mischief), nhật ký DevOps của Haskell Foundation, mẹo Generics1 cho GHC 9.4, cổng XMonad Wayland hỗ trợ AI, cùng lời kêu gọi tham gia nhóm làm việc Haskell 2010 Revised.

Lập trình viên Haskell sẽ tìm hiểu cách tối ưu hóa script chạy nhanh trên GitHub Actions cùng công cụ Magix để tiết kiệm thời gian và nguồn lực trong CI/CD.

Emacs salmagundi, 2026-09-06

A personal Emacs configuration journal entry covering two workflow tweaks: replacing a custom minor mode for running Haskell build/test commands (cabal build, cabal test, fourmolu) with the emacs-multi-compile package, and building a small custom package called consult-kith to jump between implementation files and multiple kinds of test files (Spec.hs and Prop.hs) after ff-find-other-file proved too limited.

GHC 9.14.2-rc2 is now available — The Glasgow Haskell Compiler

The second release candidate for GHC 9.14.2 is available, bringing fixes since rc1 for specialiser and demand-analyser miscompilations, several runtime system crashes (including a missing memory barrier in the parallel GC affecting AArch64), AArch64 native code generator bugs, GHCi module-loading regressions, and LLVM support up through version 23. The broader 9.14.2 release addresses numerous compiler panics, register allocation bugs, black hole deadlocks, and introduces version 2 of the GHC Jobserver Protocol (requiring cabal-install 3.18+) plus a new deprecation warning for static forms that will become an error in GHC 10.0. Final release is planned for the week of 1 October 2026 pending a two-week testing period.