Types of types: Haskell's Kind system

Teaching Haskell in the Age of LLMs, Part 1: Ban or Embrace?

Trong bối cảnh LLMs có thể giải quyết các bài tập Haskell tiêu chuẩn, bài viết thảo thách thức trong thiết kế khóa học functional programming. Nguyên nhân kỹ thuật là các LLM như GPT-4 đã đạt trình độ hiểu sufficiently deep về kiểu dữ liệu và hệ thống kiểu của Haskell. Hệ quả là sinh viên có thể sao chép giải mà không hiểu bản chất, đe dọa mục tiêu giáo dục. Điều đáng học là tác giả đang thiết kế lại khóa học để embrace LLMs như công cụ hỗ trợ, tập trung vào các bài tập đòi hỏi tư duy phản biện và hiểu biết sâu về monad và category theory thay vì kỹ năng lập trình cơ bản.

Bài viết này giải thích cách LLMs đang thay đổi việc giảng dạy ngôn ngữ Haskell và tại sao nên chấp nhận chúng trong quá trình học tập.

You don't need an effect system

An argument against using effect systems (like polysemy, effectful, eff) in Haskell, based on rewriting a production codebase from scratch. The author walks through each claimed benefit of effect systems—argument passing, safety, higher-order effects, IO tracking—and concludes none hold up, with error handling (specifically early return) being the only real use case, which can be solved with a type-safe exception technique using a phantom-typed Early token and bracket-style exception handling. The rest of the post details patterns for implementing effects—logging, databases, configuration, mocking—directly in plain IO using the handle/data-type pattern, module structure tricks, and GHC's unused-argument warnings, culminating in a full example of wiring an API server without any effect system library.

First official release of hs-bindgen

Well-Type vừa phát hành phiên bản 1.0 của hs-bindgen, công cụ tự động tạo bindings Haskell từ C headers. Phiên bản mới này cung cấp FFI types để dịch foreign function portability hơn, xử lý tốt hơn các unnamed/anonymous C declarations thông qua indirect HasField instances, và cải thiện OverloadedRecordUpdate cho unions. Các cải tiến đáng chú ý khác trong macro-handling bao gồm parsing partially-unparseable macros, detection ambiguous macros và command-line macro definitions. Tương lai, dự án hướng tới tự động tạo high-level bindings qua thư viện binding-combinators, được tài trợ bởi Anduril.

Lập trình viên nên đọc bài này để tìm hiểu về công cụ hs-bindgen giúp tự động tạo liên kết Haskell từ header C, hỗ trợ FFI types portable và cải thiện xử lý macro.

Issue 548

This issue of Haskell Weekly rounds up community news and projects. Robert Krook shares a survey of distributed Haskell systems adapted from his PhD thesis. Abhinav Sarkar extends his BlogShake static site generator with per-tag Atom feeds. Jonathan Knowles investigates a Haddock hyperlink bug spanning GHC 9.8 to 9.14. GHC musl Docker manifests now use alpine:3.24.3 for security fixes, and nonempty-vector hits version 1.0. The Haskell Foundation announces AmeriHac 2027, a two-day hackathon hosted by Jane Street in Manhattan on February 6-7, and calls for volunteers for a new haskell.org working group.

AI Contributions to GHC

GHC now has a policy for AI-assisted contributions. We examine the rules, the debate behind them, and what they mean for Haskell contributors.

Tilia—a new formatter for Haskell

Tilia là công cụ định dạng mới dành cho mã nguồn Haskell, nhằm giải quyết vấn đề không có formatter chuẩn trong hệ sinh thái này. Được phát triển bởi tác giả của Ormolu, Tilia sử dụng cùng bộ parser GHC nhưng triển khai thuật toán layout khác để tạo ra kết quả định dạng tối ưu hơn với 20-30% số dòng code giảm so với các công cụ hiện có. Hệ quả là mã nguồn được tổ chức tốt hơn, dễ đọc và bảo trì hơn mà không làm mất tính nhất quán. Các lập trình viên nên cân nhắc dùng Tilia nếu đang tìm kiếm formatter hiệu suất cao, đặc biệt khi làm việc với các dự án Haskell lớn cần giữ tính đồng bộ hóa mã nguồn.

Tilia mang đến trình định dạng mã nguồn Haskell mới với khả năng tùy chỉnh cao, giúp nâng cao chất lượng và tính nhất quán của dự án.

QuickCheck property: Uncategorised bill

Bối cảnh bài viết giới thiệu Initial API definition và một property cơ bản trong QuickCheck. Nguyên nhân kỹ thuật là việc kiểm tra property giúp xác minh hành vi của API khi xử lý các hóa đơn chưa được phân loại (Uncategorised bill). Hệ quả là QuickCheck sẽ tự động tạo test cases để đảm bảo API hoạt động đúng với mọi đầu vào vào thuộc loại hóa đơn này. Điều đáng học là việc sử dụng property-based testing với QuickCheck có thể phát hiện các lỗi tiềm ẩn mà unit test truyền thống có thể bỏ sót, đặc biệt với các trường hợp biên.

Tìm hiểu cách kiểm tra thuộc tính QuickCheck giúp bạn thiết kế API mạnh mẽ hơn cho các hóa đơn không phân loại.

Haskell Language Server 2.15.0.0 release

Haskell Language Server 2.15.0.0 ships with a new export plugin, multi-component loading, and major startup performance gains. The hls-export-plugin adds code actions for adding and removing symbols from import lists. Multi-component loading is now on by default, and a new whole project loading mode preloads all components upfront, useful with the Haskell debugger. Import resolution changes avoid repeated on-disk lookups, with one user reporting startup time dropping from minutes to 3 seconds. Fixes include a squashed 'Overlapping instances' bug, revived hls-splice-plugin, and corrected hackage documentation links. It supports GHC versions from 9.6.7 to 9.14.1.