Making a GTK application in Haskell, part 1

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.

Differences between `foldl` and `foldr`

Trong lập trình hàm, foldl và foldr là hai hàm giảm giá trị gây nhầm lẫn do cách hoạt động khác nhau. Foldl xử lý từ trái sang phải, ví dụ với foldl (+) 0 [1,2,3] sẽ tính 0+1=1, 1+2=3, 3+3=6, dẫn đến stack overflow với dữ liệu lớn. Foldr xử lý từ phải sang trái, tương tự foldr (:) [] [1,2,3] sẽ tạo ra [1,2,3] mà không gặp vấn đề stack overflow. Điều đáng học là hiểu cách mỗi hàm duyệt danh sách và chọn phù hợp cho từng trường hợp cụ thể, đặc biệt foldr thường an toàn hơn với các phép toán lazy evaluation.

Bài viết giải thích rõ sự khác biệt giữa foldl và foldr giúp lập trình viên sử dụng đúng hàm fold trong các tình huống cụ thể.

PL/Haskell v6.0 Released

PL/Haskell v6.0 has been released, adding support for PostgreSQL range types in the extension that lets developers write PostgreSQL functions using Haskell. Ubuntu and Fedora users can install it via apt and rpm repositories. A known bug in GHC libraries on Fedora 44 requires a workaround documented in the project's Known Bugs page.

Memory profiling of large Haskell applications with ghc-debug

Bối cảnh là công cụ ghc-debug version 0.8 cùng ghc-debug-brick được phát triển hợp tác với Mercury để phân tích bộ nhớ ứng dụng Haskell lớn. Nguyên nhân kỹ thuật là cơ chế streaming kết quả duyệt heap trung gian, cho phép phân tích heap lớn hơn cả dung lượng RAM. Hệ quả là giao diện TUI hỗ trợ lịch sử duyệt heap, giải mã stack frame tốt hơn bao gồm underflow frame và InfoTable fixes, và hỗ trợ annotations để theo dõi luồng tính toán phức tạp. Điều đáng học là công cụ này giúp lập trình viên Haskell thực hiện kiểm tra bộ nhớ sâu trên các quy trình lớn với hiệu ứng ứng dụng tốt hơn.

Lập trình viên nên đọc bài này vì nó cung cấp công cụ mới để phân tích bộ nhớ ứng dụng Haskell lớn ngay cả khi vượt quá dung lượng RAM.

Issue 540

Bài viết là bản tin tuần trao đổi tin tức cộng đồng Haskell, liệt kê các bài viết sâu sắc và cập nhật công cụ gần đây. Trong phần tin ngắn, lỗ hổng bảo mật trong gói aeson/text-iso8601 do

Bài này mang đến tổng quan đa dạng về sự phát triển và ứng dụng thực tế của Haskell trong các dự án công nghệ hiện đại.

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.

How to keep enjoying programming in a world of LLMs

Trong bối cảnh LLMs như Claude đang làm thay đổi cách lập trình, nhiều nhà phát triển lo ngại về AI burnout và nguy cơ mất việc. Nguyên nhân kỹ thuật là các LLMs có thể tạo code nhanh nhưng thường thiếu hiểu ngữ cảnh và bỏ qua các best practice quan trọng. Hệ quả là chất lượng code giảm sút, làm tăng technical debt và khó bảo trì. Điều đáng học là cần tận dụng LLMs như công cụ hỗ trợ chứ không phải thay thế hoàn toàn, tập trung vào kỹ năng thiết kế hệ thống và code review sâu để duy trì giá trị nghề nghiệp.

Bài viết giúp bạn bảo vệ niềm vui và giá trị nghề nghiệp lập trình trước làn sóng AI.

Emacs salmagundi, 2026-09-06

Bài viết ghi nhật cấu hình Emacs hai công việc thay thế. Tác giả thay thế mode nhỏ tùy chỉnh chạy lệnh build/test Haskell (cabal build, cabal test, fourmolu) bằng package emacs-multi-compile. Nguyên nhân là do mode cũ không đủ linh hoạt. Tác giả cũng phát triển package consult-kith để nhảy giữa file implement và các file test (Spec.hs, Prop.hs) sau khi ff-find-other-file không đáp ứng đủ. Điều đáng học là cách sử dụng emacs-multi-compile cho task build/test và phát triển package consult-kith để tăng hiệu quả làm việc với file test Haskell.

Bài này giúp bạn cải thiện workflow bằng cách tối ưu hóa cấu hình Emacs cho việc lập trình Haskell với các công cụ mạnh mẽ.