#haskell

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.

Nix Overrides That Expire Themselves

Sử dụng lib.warnIf trong Nix flake giúp thông báo khi package override không còn cần thiết nữa, nhờ đó dễ dàng loại bỏ các override cũ khi nixpkgs đã cập nhật tương ứng.

Một lập trình viên nên đọc bài này để tìm hiểu cách tự động theo dõi và quản lý các override trong Nix Flake, tránh tình trạng phải giữ lại những thay đổi không cần thiết khi phiên bản nixpkgs được cập nhật, giúp tiết kiệm thời gian và tránh rắc rối trong quản lý môi trường.

Announcing Perspec 1.0

Perspec là ứng dụng desktop dùng để điều chỉnh góc nhìn (perspective) của hình ảnh, sau 9 năm phát triển, phiên bản 1.0 đã chính thức ra mắt.

Nếu bạn là lập trình viên muốn khám phá cách xây dựng ứng dụng từ zero đến một phiên bản sản phẩm hoàn chỉnh, Perspec 1.0 sẽ là ví dụ thực tế về quy trình phát triển ứng dụng desktop từ ý tưởng đến triển khai.

"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.

Twenty Years of Pandoc

John MacFarlane nhìn lại 20 năm phát triển Pandoc, công cụ chuyển đổi tài liệu đa năng ban đầu chỉ là bài tập học Haskell với ~3000 dòng code hỗ trợ vài định dạng. Giờ đây, Pandoc đã trở thành chương trình Haskell phổ biến nhất trên GitHub, hỗ trợ 51 định dạng đầu vào và 76 định dạng đầu ra (3876 phép chuyển đổi riêng biệt). Bài viết điểm qua các cột mốc quan trọng như kiến trúc dựa trên AST, sự chuyển sang GitHub, các phiên bản lớn (1.0 đến 3.x), nỗ lực chuẩn hóa CommonMark, bộ lọc Lua, hỗ trợ WASM, và đóng góp từ hơn 600 nhà phát triển toàn cầu. MacFarlane cũng chia sẻ vai trò của Haskell trong việc duy trì dự án quy mô lớn nhờ hệ thống kiểu mạnh, kiểu đại số và tính thuần khiết, đồng thời suy ngẫm liệu LLMs có thay thế được Pandoc hay không khi vẫn giữ ưu thế về tính xác định, độ tin cậy và hiệu suất năng lượng.

Nếu bạn muốn khám phá cách một công cụ đơn giản từ Haskell trở thành nền tảng chuyển đổi văn bản đa dạng, từ kiến trúc mã nguồn mở đến tác động của ngôn ngữ lập trình trong phát triển phần mềm, bài này sẽ cho bạn những bài học về tính bền vững và sáng tạo trong công nghệ.

Twenty years of Pandoc

John MacFarlane vừa kỷ niệm 20 năm ngày phát hành phiên bản đầu tiên của Pandoc (3/8/2006). Từ một dự án nhỏ bằng Haskell (~3.000 dòng code, không phụ thuộc bên ngoài), Pandoc giờ đây trở thành chương trình Haskell phổ biến nhất, hỗ trợ hơn 50 định dạng tài liệu, tích hợp trích dẫn và liên kết với các công cụ học thuật như Quarto hay Jupyter Notebook, cùng hơn 200 phiên bản đã được cài đặt trên hàng triệu máy tính toàn cầu.

Lập trình viên Haskell nên đọc bài này để khám phá cách một dự án nhỏ, khởi đầu đơn giản từ một ngôn ngữ lập trình ít được biết đến, đã phát triển thành công công cụ đa dạng và phổ biến, minh họa rõ rệt về sự linh hoạt, mở rộng và sức mạnh của Haskell trong xử lý văn bản và chuyển đổi dữ liệu.

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.

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

Bản phát hành GHC 9.14.2-rc1 đã sẵn sàng cho thử nghiệm, dự kiến phát hành chính thức vào tuần từ 13/8/2026. Bản RC này khắc phục nhiều lỗi nghiêm trọng như miscompilation trong CorePrep, lỗi phân tích demand gây crash runtime, lỗi cấp phát register, và sửa lỗi cho các backend JavaScript, Wasm, RISC-V, PowerPC.

Lập trình viên sử dụng Haskell nên đọc để cập nhật những cải tiến mới nhất trong GHC, đặc biệt là những sửa lỗi về độ ổn định, hiệu suất và hỗ trợ đa nền tảng, giúp phát triển ứng dụng Haskell an toàn hơn và hiệu quả hơn trong các môi trường hiện đại.

Issue 535

Bản tin Haskell Weekly số 535 tổng hợp tin tức cộng đồng gồm video từ hội thảo Haskell Implementors' và Ecosystem 2026, hướng dẫn mô phỏng mạch số bằng Haskell theo SICP, mẹo tăng tốc vòng lặp với GHCi và flags của GHC/Cabal, nỗ lực hồi sinh sách 'Real World Haskell', phỏng vấn ứng dụng hệ thống kiểu mạnh trong sinh học phân tử, bài nói về mô hình dữ liệu kiểu xây dựng, cùng các dự án mới như Perspec 1.0, bindings SDL3 và công cụ ghép cặp LLM local cho notebook Haskell.

Lập trình viên Haskell sẽ tìm hiểu cách tối ưu hóa hiệu suất trong môi trường phát triển bằng cách khám phá các mẹo từ GHCi và các cờ trong GHC/Cabal, đồng thời cập nhật kiến thức về các xu hướng mới trong ứng dụng thực tế như sinh học máy tính và mô hình dữ liệu xây dựng bằng kiểu.

Haskell, Strong Types, and the Next Generation of Bioinformatics: interview with Michal Gajda

Michal Gajda chia sẻ về vai trò của Haskell với strong types, purity và functional abstractions trong xử lý dữ liệu sinh học phức tạp, thông qua các dự án như hPDB, JSON Autotype và XML TypeLift. Ông cũng bàn luận về thách thức mở rộng lập trình hàm trong bioinformatics, cũng như tiềm năng của giáo dục, công cụ và AI hỗ trợ lập trình để phổ biến Haskell hơn trong giới khoa học tương lai.

Lập trình viên biohọc nên đọc bài này để khám phá cách Haskell giúp xử lý dữ liệu sinh học phức tạp một cách chính xác, hiệu suất cao và không phụ thuộc vào môi trường chạy, từ đó tối ưu hóa các ứng dụng phân tích gen, xử lý dữ liệu protein và phát triển công cụ khoa học dữ liệu hiệu quả hơn.

Issue 534

Haskell Weekly issue 534 covers enterprise Haskell in production at H-E-B (nearly a million lines over 8 years in supply chain), a new workaround for existential quantification using a linear proof-token approach, QuickCheck property-based testing introduction, LLM constraint-evading behavior when writing Haskell, a new falsify release (Hypothesis-inspired shrinking library), profunctor optics via Tannakian Reconstruction, and servant-auth roles implementation. Also includes a job posting, new libraries (hgg grammar-of-graphics, servant-auth-role), a static site generator starter using Shake, and community calls for participation.

LLMs Will Cheese Your Types: Fighting Back in Haskell

Bài viết trên blog của Justin Le bàn về những thách thức khi kết hợp Large Language Models (LLMs) với hệ thống kiểu tĩnh trong Haskell, cũng như cách khắc phục. Tác giả chia sẻ những trải nghiệm lập trình và khám phá trong lĩnh vực vật lý tính toán và tri thức.

Những lập trình viên Haskell sẽ tìm hiểu cách ứng phó với xu hướng sử dụng mô hình ngôn ngữ tự học để thay đổi cách kiểm tra kiểu, từ đó bảo vệ lại tính chính xác và tính bảo trì của mã trong ngôn ngữ mạnh về kiểu hóa.

Enterprise Haskell at H-E-B

H-E-B đã tích hợp thành công Haskell vào hệ thống quản lý chuỗi cung ứng của mình nhờ vào những lợi thế về độ tin cậy, hiệu suất và khả năng bảo trì của ngôn ngữ này.

Lập trình viên nên đọc bài này để hiểu cách Haskell được ứng dụng hiệu quả trong hệ thống quản lý chuỗi cung ứng lớn như H-E-B, giúp tối ưu hóa tốc độ xử lý dữ liệu và độ tin cậy trong môi trường thực tế.

New falsify release

Phiên bản 0.4.0 của thư viện kiểm thử thuộc tính falsify cho Haskell đã ra mắt, lấy cảm hứng từ Hypothesis của Python. Tính năng mới chính là kiểu Context trong monad Property, cung cấp thông tin về số lượng test đang chạy và vòng lặp hiện tại, hỗ trợ sinh test theo kích thước qua hàm sized. Bản phát hành cũng cải tiến đáng kể: tích hợp tasty tách thành gói riêng tasty-falsify, sắp xếp lại cấu trúc module, loại bỏ hàm lỗi thời và thay thế alias kiểu bằng newtype. Bài viết cũng so sánh falsify với QuickCheck và Hedgehog, nhấn mạnh ưu điểm giải quyết vấn đề thu nhỏ bind monadic nhưng vẫn còn ở giai đoạn thử nghiệm.

Lập trình viên muốn tối ưu hóa cách viết và debug các test đơn vị trong Haskell cần đọc để khám phá cách falsify cải thiện việc sinh ra các trường hợp test kích thước phù hợp và quản lý context hiệu quả hơn so với các thư viện truyền thống.

Issue 533

Số 533 của Haskell Weekly điểm tin cộng đồng nổi bật như quyết định rời bỏ Haskell của Scarf sau 7 năm sử dụng, báo cáo trạng thái GHC từ hội thảo Haskell Implementors' Workshop 2026, đóng cửa tryhaskell.org, sự kiện Diff package áp dụng LiquidHaskell cho kiểm tra tĩnh, và thư viện PGQueuer-hs 0.0.1 mới chạy trên PostgreSQL. Phần giới thiệu cộng đồng giới thiệu server bookmark tự lưu trữ, thư viện học tự động hóa hoạt động, và công cụ chạy thử LeetCode cục bộ.

Đọc bài này để cập nhật những thay đổi quan trọng trong sinh thái Haskell—từ việc chuyển đổi công nghệ của một nhà phát triển lâu năm đến những tiến bộ mới trong công cụ và thư viện, giúp bạn nắm rõ xu hướng và cách ứng dụng trong dự án của mình.

After 7 years in production, Scarf has reluctantly moved away from Haskell

After 7 years running Haskell in production at Scarf, the founder explains why they reluctantly migrated to Python. The core driver was AI-assisted development: LLM coding agents need fast feedback loops and cheap disposable execution contexts, but Haskell's slow cold build times and complex toolchain (Nix, caches, CI setup) became a dominant bottleneck when running multiple parallel agents. The post argues Haskell's type safety advantages are partially offset by LLMs catching errors at code-generation time, and that the Haskell community's resistance to AI workflows risks the language's long-term relevance. The author calls on the Haskell Foundation to prioritize build speed, onboarding, documentation, and agent-friendly tooling over type system research, warning that Haskell is not accelerating alongside other ecosystems in the AI era.

Issue 532

Haskell Weekly Issue 532 covers a range of Haskell community content including tutorials on Applicatives, data-directed programming from SICP, typed expression EDSLs, and mechanized type inference for record concatenation. Also featured: a talk on optimizing GHC build times, the ZuriHac 2026 video playlist, a vscode-haskell 2.8.2 release, a Haskell-powered CAD playground running in WebAssembly, and a job posting for a senior Haskell developer.

Waterfall CAD Playground

A browser-based CAD environment built with Haskell, running via a ~100MB WebAssembly blob. Users on metered or slow connections are warned before loading.

Extreme Haskell: Typed Expression EDSLs (Part 1)

A deep dive into building a fully type-safe embedded domain-specific language (EDSL) in Haskell that represents a typed lambda calculus. Starting from an untyped expression ADT, the post progressively adds phantom type indices, singletons, existentials, runtime type equality, typed records and sums using vinyl-style heterogeneous lists, and finally a scoped variable environment that makes ill-typed or unbound variable references impossible to construct in Haskell. The result is an expression language where GHC statically rejects any invalid domain-level term. The series aims to eventually compile these typed expressions to multiple backends (C, JavaScript) and generate Graphviz visualizations of state machines.

Haskell for all: Mechanized type inference for record concatenation

A deep technical exploration of type inference for biased record concatenation (the // operator in Nix), formalizing the 1991 Wand paper algorithm that no language has fully implemented. The post presents three formalizations: declarative natural deduction semantics, an algorithmic constraint generation and resolution approach, and a ~400-line reference Haskell implementation. Key concepts covered include row-polymorphic record types, field annotations (present/absent/unknown), a canonical field concatenation operator with monoid laws, sibling row variables, disjoint set data structures for tracking variable relationships, and field instantiation for handling record unification mismatches. A companion GitHub REPL is provided for testing.

Issue 531

Haskell Weekly Issue 531 curates the latest from the Haskell community. Featured articles include a deep dive into actegories and optics by Bartosz Milewski, a dev log on implementing new GHC syntax, a podcast episode with top GHC contributor Sylvain Henry, a technique for type-checked non-empty strings with TemplateHaskell yielding ~10% build-time improvements, a guide on emulating inline assembly in GHC for low-level CPU instruction access, and an overview of Haskell security tooling. Job listings include roles at LivTours and Standard Chartered. Notable releases include Hyperbole 0.7 with multipart file uploads and reflex-vty 1.0. Community highlights cover a BitNet 1.58 LLM experiment in MicroHaskell and GHC proposals for top-level shared IO computations.

Issue 530

Haskell Weekly issue 530 covers the Haskell ecosystem activities report for March–May 2026 from Well-Typed (covering GHC, Cabal, HLS work), a guide on creating statically-linked Haskell executables with Nix, an introduction to the pqi library aiming to decouple Haskell PostgreSQL drivers from libpq, an introductory post on record type inference, and a deep dive into representing sheaves in Haskell using category theory. Brief announcements include apecs-0.10.0 (ECS package), Fourmolu 0.20.0.0 formatter release with GHC 9.14 support, GHC 9.12.5-rc2, and new Hpack-Dhall and Stock packages.

Haskell for all: Record type inference for dummies

A beginner-friendly introduction to type inference for anonymous records, building up from basic record literals to field access, variables, and functions. The post explains why statically typed languages struggle with anonymous records, introduces formal type inference notation with Haskell code examples, and covers two approaches to handling extra record fields: subtyping (as in TypeScript) and row polymorphism (as in PureScript and Elm). Row polymorphism is shown to be more expressive, enabling precise types for operations like record extension. The post is a foundation for a follow-up on type inference for record concatenation in Nix.