Haskell for all: Dependent if expressions without dependent types

What's New With Golang Generics

Generics từng là tính năng mới trong Go và giờ đã phát triển qua các phiên bản gần đây, với những cải tiến được Dolt tích hợp vào dự án.

Lập trình viên Go nên đọc bài này để hiểu cách tương tác với Generic trong Go—công cụ mới giúp viết mã linh hoạt hơn, giảm sự phụ thuộc vào kiểu dữ liệu cụ thể, và tối ưu hóa hiệu suất cho các ứng dụng hiện đại.

v0.9 of Gleam, a statically typed language for the Erlang VM, is out

Phiên bản v0.9 của ngôn ngữ lập trình Gleam (dành cho Erlang VM) đã được phát hành, giới thiệu những cập nhật và cải tiến mới.

Lập trình viên tìm kiếm hiệu suất và tính nhất quán của Erlang VM nhưng muốn một ngôn ngữ mạnh mẽ hơn với kiểu dữ liệu tĩnh sẽ thích thú với những tính năng mới của Gleam v0.9 như hỗ trợ kiểu dữ liệu mới và cải tiến tính tương thích.

Logic for Programmers

Toán học thực hành dành cho lập trình viên đang làm việc.

Lập trình viên nên đọc bài này để hiểu cách áp dụng logic toán học thực tế trong giải quyết vấn đề lập trình, từ đó tối ưu hóa hiệu suất, giảm sai sót và xây dựng giải pháp code hiệu quả hơn.

Lesson 6: Functional Programming (FP)

Bài học giới thiệu lập trình chức năng (Functional Programming - FP), một phong cách lập trình mạnh mẽ trong xử lý dữ liệu, mô tả dữ liệu như dòng chảy qua hệ thống ống dẫn.

Lập trình viên nên đọc bài này để hiểu cách áp dụng tính không phụ thuộc (side-effect-free), tính tái sử dụng cao và tính biểu diễn rõ ràng của lập trình chức năng để giải quyết vấn đề xử lý dữ liệu phức tạp một cách hiệu quả và dễ bảo trì.

Prela Tutorial

Prela is a new query language developed at UCLA that represents an alternative to SQL, built entirely from binary relations (tables with two columns). This tutorial builds a toy Python implementation of Prela to explain its core operators: relation composition (.select), the & operator for pairing columns, .eq for filtering, and .where for restriction. It shows how decomposing wide tables into binary relations (akin to 6NF) lets queries compose like functions, producing dramatically shorter queries than equivalent SQL (11 lines vs 20+). A full paper and GitHub implementation are linked for further exploration.

CTTI is Exponential, RTTI is Linear

An argument that Runtime Type Information (RTTI) is a linear, measurable cost while Compile-Time Type Information (CTTI), often marketed as 'zero-cost', scales exponentially across semantic checking, code generation, and binary size when combined with parametric polymorphism. The author, creator of the Odin language, explains why RTTI table lookups stay constant-cost regardless of type count, whereas generic/templated code monomorphizes into N^K instantiations that bloat compile times and binaries. Odin uses RTTI by default (e.g. fmt.println, serialization) with struct field tags similar to Rust's serde, reserving CTTI (via base:intrinsics) for hot paths needing specialization. The piece argues for a data-driven RTTI approach over a code-driven CTTI approach as a language design philosophy, while acknowledging RTTI's own costs (memory, table lookups, exposed type info).

Typed throws in Swift 6

Swift 6 introduces typed throws via SE-0413, letting a function declare exactly which error type it throws using throws(SomeError) syntax. This gives catch blocks the concrete error type, enabling compiler-checked exhaustive switch handling instead of casting from any Error. throws(Never) is equivalent to non-throwing, and a generic thrown type parameter can replace rethrows for pass-through cases like map, though only when the closure's error type is explicitly annotated (trailing closures still infer to any Error). The piece argues typed throws is best reserved for single-module code, generic rethrow-style functions, and embedded/dependency-free code where any Error boxing has runtime cost — because pinning a concrete error type on a public API is a source-breaking commitment if the error set ever needs to grow.