Gleam case exhaustiveness, as a fan

C# now beats Rust on WASM size

Dự án NetWasm cho phép biên dịch C# và .NET CIL thành WebAssembly (WASM) cỡ nhỏ với WASI, sử dụng biên dịch ahead-of-time (AOT) kèm runtime và garbage collector (GC) tối ưu. Kỹ thuật này đạt hiệu quả đáng kinh ngạc với kích thước file output chỉ 1.1MB cho ứng dụng ASP.NET Core phức tạp, nhỏ hơn đáng kể so với Rust khi cùng triển khai WASM. Sự khác biệt chủ yếu đến từ cách .NET runtime được tinh chỉnh và GC được tối ưu hóa đặc biệt cho môi trường WASM. Đây là minh chứng rõ ràng cho thấy .NET có thể cạnh tranh sòng phẳng với các ngôn ngữ thường được coi là tối ưu cho WebAssembly về mặt kích thước.

Lập trình viên nên đọc bài này để biết cách tối ưu hóa kích thước WASM cho ứng dụng C#/.NET bằng NetWasm.

Show HN: I Turned DOOM into a Transformer

Compile an integer neural network into a DOOM map. Voodoo dolls do the arithmetic, light levels and plane heights hold the values, and every value is checked against NumPy with tolerance 0. - mottopanikeiku/doomformer

Announcing TypeScript 7.0

TypeScript 7.0 ra mắt phiên bản biên dịch gốc bằng Go, cải thiện tốc độ build lên 8–12 lần và giảm đáng kể bộ nhớ sử dụng. Tính năng mới bao gồm kiểm tra kiểu song song, chế độ --watch được tái thiết kế, và hỗ trợ đầy đủ LSP cho trình soạn thảo. Phiên bản này loại bỏ các tùy chọn lỗi thời như es5, baseUrl, AMD/UMD, nhưng chưa tương thích với các framework nhúng do thiếu API lập trình.

Nếu bạn đang phát triển với TypeScript và muốn tối ưu hóa hiệu suất cho dự án, từ bỏ các tính năng cũ và nâng cấp công cụ tích hợp với IDE, hãy đọc để cập nhật những thay đổi quan trọng trong phiên bản mới nhất.

Worse is better: C# versus F#

Bài viết so sánh C# và F# trong môi trường .NET, cho thấy C# vẫn là ngôn ngữ phổ biến cho phát triển ứng dụng truyền thống. Nguyên nhân kỹ thuật mà tác giả cho F# vượt trội là sự hỗ trợ mạnh mẽ cho lập trình hàm: kiểu dữ liệu không thay đổi, suy luận kiểu mạnh mẽ và pattern matching tích hợp sẵn. Nhờ những tính năng này, mã F# thường ngắn gọn hơn, dễ duy trì và giảm nguy cơ lỗi thời gian chạy so với mã C# tương đương. Hệ quả là các nhóm phát triển có thể đạt được tốc độ sản xuất cao hơn và chất lượng code ổn định khi áp dụng F# cho các bài toán phức tạp như xử lý dữ liệu hoặc dịch vụ tài chính. Điều đáng học là khi đánh giá ngôn ngữ cho dự án, không chỉ xem xét mức độ phổ biến mà còn cân nhắc lợi ích của paradigm hàm và mức độ trừu tượng mà ngôn ngữ cung cấp để quyết định xem việc đầu tư thời gian học F# có mang lại lợi ích lâu dài không.

Bài viết này giúp lập trình viên hiểu tại sao F# vượt trội hơn C# trong nhiều trường hợp thực tế.

Announcing TypeScript 7.0 RC

TypeScript 7.0 RC đã được phát hành với trình biên dịch (compiler) được viết lại bằng Go, giúp tăng tốc độ build lên gấp 10 lần so với phiên bản 6.0 nhờ sử dụng đa luồng (parallelism) và mã gốc (native code). Phiên bản mới cũng thay đổi mặc định (strict: true, module: esnext), loại bỏ các flags lỗi thời, đồng thời hỗ trợ cài đặt song song với phiên bản 6.0 qua package @typescript/typescript6.

Lập trình viên nên đọc để khám phá cách TypeScript 7.0 cải thiện hiệu suất gỡ lỗi và xây dựng dự án với tốc độ gấp 10 lần nhờ chuyển sang biên dịch viên Go, đồng thời nâng cấp tính năng mới như chế độ strict mặc định và cải tiến trong VS Code.

Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs

Anders Hejlsberg, cha đẻ của TypeScript và C#, chia sẻ về quá trình viết lại trình biên dịch TypeScript bằng Go cùng những chi tiết kỹ thuật đằng sau nó.

Lập trình viên nên đọc bài này để hiểu cách cải tiến hiệu năng compiler TypeScript bằng Go, giúp hiểu sâu hơn về kiến trúc hệ thống và cách tối ưu hóa công cụ phát triển trong thực tế.

Gleam doesn't compile to Erlang source anymore

Gleam phiên bản 1.19.0 đã thay đổi cách biên dịch, không còn tạo ra code nguồn Erlang truyền thống mà chuyển sang sử dụng Erlang/OTP BEAM files trực tiếp. Thay đổi này giúp tăng tốc độ biên dịch đáng kể, giảm thời gian từ 5-10 giây xuống còn dưới 1 giây cho các dự án trung bình. Việc bỏ qua bước tạo code nguồn Erlang giúp giảm thiểu sự phức tạp trong quá trình build và tránh những vấn đề về đồng nhất giữa code nguồn và BEAM file. Đối với lập trình viên, đây là sự cải tiến quan trọng giúp tăng hiệu suất làm việc đáng kể khi sử dụng Gleam trong môi trường production.

Bài viết này giải thích thay đổi quan trọng trong cách Gleam biên dịch chương trình, ảnh hưởng đến cách bạn tương tác với Erlang runtime.

Zig 0.17.0 Release Notes

Phiên bản Zig 0.17.0 được phát triển sau 5 tháng làm việc bởi 206 đóng góp với 925 commit, tập trung vào hệ thống build được cải tiến (gồm Build Server Protocol mới), ELF linker hỗ trợ biên dịch tăng trưởng cho hầu hết dự án x86_64-linux, và nâng cấp lên LLVM 22.1.8. Bản cập nhật thay đổi đáng kể: @bitCast cho arrays/vectors thay đổi có thể làm hỏng mã mà không báo lỗi biên dịch, @cImport và errdefer captures bị loại bỏ, void{} syntax thay thế bằng @splat, nhiều std library API được đổi tên hoặc không còn dùng. Zig thêm các built-in mới như @backingInt, @fromBackingInt, @SpirvType và @divCeil, hỗ trợ thêm các target loongarch32, xtensa-linux, sparc64-linux nhưng mất hỗ trợ một số PowerPC/glibc. ZLS hiện không tương thích với 0.17.0 do tách quá trình maker/configurer, nhưng đội Zig và ZLS đang hợp tác sửa lỗi.

Zig 0.17.0 mang đến hệ thống xây dựng hoàn toàn mới, trình liên kết ELF được cải tiến, và nhiều thay đổi API quan trọng mà lập trình viên cần nắm để cập nhật mã nguồn của mình.