Abstracting effects with continuations

Closing a three-year-old issue using Rust arenas

A Gleam core team member resolved a three-year-old GitHub issue by refactoring the language's pretty printer to use arena allocation via the typed_arena crate. By replacing heap-allocated Box<T> with arena-backed references, the formatter became 24% faster and reduced peak memory usage by ~10% (8.4MB to 7.6MB). The post explains the Document recursive data structure, how arenas work in Rust, the lifetime changes required, and the caching benefits of allocating repeated documents only once.

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.

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.

Parse, Don't Validate — In a Language That Doesn't Want You To

Bài viết áp dụng nguyên tắc "parse, don't validate" của Alexis King vào TypeScript bằng cách sử dụng branded types và discriminated unions. Thay vì chỉ xác thực dữ liệu rồi loại bỏ bằng chứng, parsers tích hợp tính đúng đắn vào hệ thống kiểu, giúp loại bỏ trạng thái bất hợp pháp (UnvalidatedUser vs ValidUser). Bài viết cũng đề cập đến những khó khăn của TypeScript như structural typing, ép kiểu 'as' trong parser, thiếu match expression, và cách thư viện Zod tự động hóa nhưng vẫn giữ nguyên nguyên tắc này.

Lập trình viên nên đọc bài này để hiểu cách chuyển đổi từ cách kiểm tra dữ liệu bằng validation (giảm hiệu suất và làm mờ lỗi) sang cách sử dụng parse thông qua kiểu dữ liệu (giúp phát hiện lỗi ngay từ giai đoạn biên dịch và tăng tính bảo mật).