Bespoke: A Programming Language for People Who Say Please

Better Batteries

One of the eternal schisms in programming is over the question of whether the standard library should be minimal or encompassing. This is the wrong question to ask. The right one is:

Rust, Haskell, and the Architecture Behind Solana: Interview with Greg Fitzgerald

Solana được xây dựng trên nền tảng Rust, lựa chọn phù hợp cho hệ thống blockchain hiệu suất cao do kinh nghiệm của đồng sáng lập Greg Fitzgerald với C++, LLVM và Haskell. Kiến trúc Solana kết hợp các nguyên lý từ functional programming trong Haskell để tối ưu hiệu năng cho runtime blockchain. Rust cung cấp sự kết hợp giữa strong types, memory safety và low-level control, đặc biệt hiệu quả cho phát triển BPF và virtual-machine trên Solana. Bài viết thảo luận sâu về các quyết định kỹ thuật dẫn đến hiệu suất vượt trội, hữu ích cho lập trình viên quan tâm đến blockchain hệ thống phân tán.

Bài này giúp lập trình viên hiểu tại sao Rust lại là lựa chọn tối ưu cho Solana và cách ngôn ngữ này kết hợp với các triết lý lập trình hàm để xây dựng blockchain hiệu suất cao.

RangeFrom, Part 2..: What I think is wrong about the design

An opinion piece dissects the design of Rust's RangeFrom iterator, arguing its behavior on overflow is inconsistent and foot-gun prone. The author walks through five expectations developers might have of n.. and shows each is violated: overflow can skip the final value, the iterator can yield values outside the stated range, panic behavior differs across primitive integers, Ipv4Addr/Ipv6Addr, char, and NonZero<u*>, and monotonicity breaks for saturating types. A comparison table shows seven types diverge across three different overflow behaviors. The piece reviews counterarguments (compatibility with zip, stability concerns) and proposes returning None via Step::checked_forward instead, plus a new enumerate_with method as an alternative to relying on RangeFrom with zip.

Four levels of in-place initialization

Bài viết đề xuất giải quyết vấn đề khởi tạo tại chỗ (in-place initialization) trong Rust thông qua bốn cấp độ: raw pointers với MaybeUninit (không an toàn), cặp tham chiếu &uninit/&own (an toàn), placing functions (thay đổi cách trả về thành ghi vào con trỏ), và tối ưu hóa MIR-level move elimination. Rust nên cung cấp nhiều cơ chế bổ trợ thay vì một giải pháp phổ quát, tương tự như cách hoạt động của const.

Lập trình viên Rust nên đọc bài này để hiểu cách tối ưu hóa và phân cấp các giải pháp cho việc khởi tạo in-place trong ngôn ngữ, từ an toàn cao đến linh hoạt cao nhất, giúp bạn lựa chọn phương pháp phù hợp với từng tình huống mà không cần phụ thuộc vào một tính năng duy nhất.

KCL part 3: look and feel

Bài viết phân tích cải tiến ergonomic sâu rộng cho KCL, một ngôn ngữ chuyên dụng (DSL) cho CAD/modeling dành cho người không lập trình. Tác giả trình bày nhiều thay đổi về cú pháp và ngữ nghĩa nhằm giảm nhiễu: bỏ dấu '%' pipeline, bổ sung tham số từ khóa, đơn giản hóa khai báo hàm, hệ thống thuộc tính có kỷ luật, thống nhất số thành float có đơn vị, thay đổi khởi tạo đối tượng từ ':' sang '=', và thay thế chuỗi ma thuật bằng hằng thư viện chuẩn. Ngoài ra, bài cũng đề cập những thay đổi bị từ chối do chi phí cao (thiết kế cú pháp tag, kiểu point tích hợp sẵn) và kết thúc bằng so sánh mã trước/sau để minh họa hiệu quả cải tiến.

Lập trình viên chuyên về CAD hoặc thiết kế mô hình nên đọc bài này để hiểu cách tối ưu hóa ngôn ngữ riêng (DSL) cho người không chuyên, từ đó học cách thiết kế giao diện và ngữ nghĩa của ngôn ngữ đơn giản, giảm thiểu rắc rối syntax và tăng hiệu quả làm việc cho cả lập trình viên và người dùng cuối.

Aiki: Alpha Milestone 26 Update

A detailed progress report on Aiki, an experimental programming language, covering work done since the first public alpha release. The author, tagging the current state as v0.4.0-alpha-26, describes moving grammar authority out of parser code, centralizing structural analysis, fixing tooling failure-propagation bugs, making the runtime location-independent, and building an independent Aiki-written lexer, parser, and evaluator that can self-host and even recursively interpret itself. Also covered: a new editor-independent language service layer used by Xed, VS Code, and nvi; a profiler calibration experiment validating semantic counters; and plans for future work on process execution, networking, JSON, OS surface, signals, timers, and cryptographic hashing.

Go 1.26 iterators turned the simplest language into functional spaghetti

The entire concept of Go was summarized in a single loop which is for. Currently, I'm reviewing a... Tagged with go, programming, opinion, debate.

Programming Languages Are Authoring Tools for Platforms

Tác giả cho rằng ngôn ngữ lập trình chính là công cụ sáng tạo (authoring tools) cho các nền tảng (platforms).

Lập trình viên nên đọc bài này để hiểu cách ngôn ngữ lập trình không chỉ là công cụ thực hiện mã mà còn là khung xây dựng và định nghĩa nền tảng riêng của dự án, giúp tối ưu hóa hiệu suất, tính mở rộng và tương thích với tương lai.