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.

Nguồn: https://haskellweekly.news/issue/531.html. 8sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.

Đề xuất cho bạn

Lobsters0 Hot13 phút1 ngày trướcAI

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