Compile-Time Dependent Types

Practical Rust API Design

Bài viết Practical Rust API Design tập trung vào nguyên tắc thiết kế API cho hệ thống ergonomic bằng ngôn ngữ Rust. Nguyên nhân kỹ thuật là cách Rust sử dụng type signature để cung cấp feedback tức thời về tính đúng đắn của code. Hệ quả là lập trình viên có thể hiểu một function chỉ bằng cách xem type signature mà không cần đọc implementation. Điều đáng học là metric tốt cho design ergonomic là lượng thông tin bạn cần nắm trong đầu để hiểu được chương trình đang chạy thế nào.

Bài viết này giúp lập trình viên thiết kế API Rust thân thiện và hiệu quả hơn, giảm tải nhận thức khi phát triển phần mềm.

It's still OK to enjoy programming

Bối cảnh hiện nay có nhiều áp lực trong ngành công nghệ khiến nhiều lập trình viên quên đi niềm vui cốt lõi. Nguyên nhân kỹ thuật là sự phát triển quá nhanh của các framework và công cụ như React, Vue.js, Kubernetes khiến lập trình viên luôn phải cập nhật kiến thức mới. Hệ quả là nhiều người cảm thấy kiệt sức và mất đi niềm vui sáng tạo ban đầu. Điều đáng học là hãy nhớ lại lý do đầu tiên đã khiến bạn chọn nghề lập trình, dù bạn đang sử dụng Go, Rust hay Python. Việc duy trì đam mê sẽ giúp bạn trở thành lập trình viên xuất sắc hơn trong dài hạn.

Bài viết nhắc nhở lập trình viên về niềm vui cốt lõi trong lập trình giúp duy trì đam mê và động lực trong công việc.

prydt's site

Bối cảnh: Bài viết là bài tiểu cá nhân khám phá ba tính năng ngôn ngữ lập trình yêu thích của tác giả. Nguyên nhân kỹ thuật: Ba tính năng này bao gồm flow typing (Crystal và TypeScript), Rust's borrow checker và D's contract programming, mỗi tính năng đều giải quyết các vấn đề cụ thể về type safety và quản lý bộ nhớ. Hệ quả: Ví dụ minh họa bằng class bank account trong D cho thấy cách các invariant giúp bảo toàn tính toàn vẹn dữ liệu. Điều đáng học: Những tính năng này chứng minh tầm quan trọng của việc tích hợp static typing và kiểm tra tại runtime để xây dựng phần mềm đáng tin cậy hơn.

Bài này giúp bạn hiểu rõ ba tính năng lập trình mạnh mẽ nhất từ Crystal, Rust và D để nâng cao kỹ năng viết code an toàn và hiệu quả.

GDScript: The Good, Bad, and Ugly Parts

Bruno Dias' personal blog.

Do not let your type system reason about aliasing in your programming language

Bối cảnh là một ngôn ngữ lập trình purely-functional, dữ liệu song song (data-parallel) cấp cao, có thể thực thi trên cả GPU và CPU nhằm hiệu năng cao. Nguyên nhân kỹ thuật là vấn đề aliasing trong type system khiến cho bộ compiler không tối ưu hóa được mã hiệu quả. Hệ quả là chương trình chạy chậm hơn tiềm năng, đặc biệt khi xử lý array programming trên GPU. Điều đáng học là việc loại bỏ aliasing trong type system giúp cải thiện đáng kể performance, ví dụ như trong ngôn ngữ GPU như NVIDIA CUDA. Nếu bạn đang làm việc với data-intensive applications và GPU programming, bài viết này sẽ cung cấp insight quan trọng về tối ưu hóa thông qua type system design.

Bài viết này giúp lập trình viên hiểu cách ngôn ngữ lập trình functional có thể tối ưu hiệu suất trên cả GPU và CPU mà không phụ thuộc vào hệ thống kiểu để xử lý aliasing.

We have traits at home

This post proposes a userland convention called Traits: compile-time structs holding related functions over a type. Traits are an alternative to Zig's two usual polymorphism patterns, dynamic interfaces with vtables and comptime duck typing. The approach is inspired by OCaml modules and the functional programming world. Helper functions impl and getTrait use Zig's type reflection to reduce boilerplate when defining and retrieving trait implementations. The author warns that overusing traits can cause combinatorial binary bloat from monomorphized functions, sometimes making code slower than dynamic dispatch. Written against Zig 0.17.

Another step towards elm v1

A delightful language with friendly error messages, great performance, small assets, and no runtime exceptions.

GHC 10.0.1-alpha1 is now available — The Glasgow Haskell Compiler

Đội ngũ Glasgow Haskell Compiler vừa phát hành GHC 10.0.1-alpha1, phiên bản alpha đầu tiên của bản cập nhật lớn sắp tới. Các thay đổi chính bao gồm GHC2024 trở thành ngôn ngữ mặc định, Type và Constraint hoàn toàn tách biệt thành kinds khác nhau, và giới thiệu QualifiedStrings extension. Phiên bản này cũng nâng cấp LLVM hỗ trợ đến phiên bản 23, yêu cầu cabal-install 3.18+, và loại bỏ hỗ trợ cho các phiên bản Debian/Ubuntu cũ thay bằng Debian 13. Bạn nên đọc bài gốc để hiểu rõ cách tối ưu hóa polymorphic specialisation và các thay đổi trong I/O manager cho POSIX (trừ macOS).

Lập trình viên nên đọc bài này để cập nhật những thay đổi quan trọng trong GHC 10.0.1-alpha1 và chuẩn bị cho việc chuyển sang phiên bản trình biên dịch mới này.