Let's meet in October

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

Teaching Haskell in the Age of LLMs, Part 1: Ban or Embrace?

Trong bối cảnh LLMs có thể giải quyết các bài tập Haskell tiêu chuẩn, bài viết thảo thách thức trong thiết kế khóa học functional programming. Nguyên nhân kỹ thuật là các LLM như GPT-4 đã đạt trình độ hiểu sufficiently deep về kiểu dữ liệu và hệ thống kiểu của Haskell. Hệ quả là sinh viên có thể sao chép giải mà không hiểu bản chất, đe dọa mục tiêu giáo dục. Điều đáng học là tác giả đang thiết kế lại khóa học để embrace LLMs như công cụ hỗ trợ, tập trung vào các bài tập đòi hỏi tư duy phản biện và hiểu biết sâu về monad và category theory thay vì kỹ năng lập trình cơ bản.

Bài viết này giải thích cách LLMs đang thay đổi việc giảng dạy ngôn ngữ Haskell và tại sao nên chấp nhận chúng trong quá trình học tập.

Gleam Gathering 2027 is coming to London!

Gleam Gathering 2027 sẽ diễn ra tại London, thủ đô của UK. Đây là lần đầu tiên tổ chức hội nghị dành riêng cho Gleam. Hội nghị này thu hút những lập trình viên làm việc với ngôn ngữ Gleam. Tham dự sẽ cơ hội học hỏi và chia sẻ kiến thức về ecosystem Gleam.

Gleam Gathering 2027 ở London là hội nghị đầu tiên dành riêng cho Gleam nơi bạn có thể kết nối với cộng đồng và cập nhật kiến thức mới nhất về ngôn ngữ lập trình này.

From Pure Code to Physical Controls: Designing Hardware in Elixir

Sự kiện Erlang, Elixir và Gleam tại Europe diễn ra trong 2 ngày với các buổi trình bày, thảo luận và kết nối trong cộng đồng BEAM. Bài tập "From Pure Code to Physical Controls: Designing Hardware in Elixir" khám phá khả năng tương tác phần cứng với Elixir trên nền tảng BEAM. Elixir cho phép lập trình viên mở rộng ứng dụng từ code thuần túy sang điều khiển thiết vật lý thông qua các thư viện như Nerves. Cách tiếp cận này giúp tận dụng sức mạnh của concurrent programming trong Elixir cho hệ thống embedded. Sự kiện này cung cấp cơ hội thực hành và học hỏi cách tích hợp Elixir vào các dự án hardware thực tế.

Bài viết này giúp lập trình viên Elixir mở rộng kỹ năng từ phần mềm sang thiết bị vật lý bằng cách áp dụng mô hình Erlang/OTP cho các hệ thống phần cứng.

Fixing a remote execution vulnerability in sbt

Một lỗ hổng thực thi từ xa (GHSA-m2pw-22cj-jq4v) đã được phát hiện trong sbt ảnh hưởng đến các build thiết lập serverConnectionType thành TCP. Lỗi này tồn tại từ sbt 1.1.0, cho phép kẻ tấn công vượt qua xác thực token trên một số endpoint LSP-like và thực thi mã tùy ý qua các tin nhắn JSON-RPC được thiết kế đặc biệt. Sửa lỗi đã được triển khai trong sbt 1.12.15 và 2.0.6; người dùng bị ảnh hưởng nên nâng cấp hoặc loại bỏ cài đặt serverConnectionType. Bài viết cũng đề cập một mô hình AI đã tự tái phát hiện cùng lỗi trong quá trình kiểm thử.

Bài viết này giúp lập trình viên phát hiện và khắc phục lỗ hổng thực thi mã từ xa trong sbt, đảm bảo bảo mật cho các dự án của họ.

Another step towards elm v1

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

Railway-Oriented Programming

Khi phát triển software, việc xử lý errors và side effects là không thể tránh khỏi. Railway-Oriented Programming (ROP) tiếp cận vấn đề bằng cách xử lý success và failure trên cùng một đường ray (track), sử dụng Result hoặc Either types. Phương pháp này giúp code trở nên predictable và dễ dàng compose, giảm thiểu nested try-catch blocks. ROP đòi hỏi tư duy function-first và xử lý error ngay tại điểm phát sinh, tránh lan truyền errors qua các layer. Lập trình viên nên tìm hiểu ROP để xây dựng hệ thống error handling mạnh mẽ hơn, đặc biệt với functional programming languages như F# hoặc Scala.

Bài Railway-Oriented Programming giúp bạn tiếp cận xử lý lỗi và hiệu ứng phụ trong lập trình một cách hệ thống và hiệu quả hơn.

Differences between `foldl` and `foldr`

Trong lập trình hàm, foldl và foldr là hai hàm giảm giá trị gây nhầm lẫn do cách hoạt động khác nhau. Foldl xử lý từ trái sang phải, ví dụ với foldl (+) 0 [1,2,3] sẽ tính 0+1=1, 1+2=3, 3+3=6, dẫn đến stack overflow với dữ liệu lớn. Foldr xử lý từ phải sang trái, tương tự foldr (:) [] [1,2,3] sẽ tạo ra [1,2,3] mà không gặp vấn đề stack overflow. Điều đáng học là hiểu cách mỗi hàm duyệt danh sách và chọn phù hợp cho từng trường hợp cụ thể, đặc biệt foldr thường an toàn hơn với các phép toán lazy evaluation.

Bài viết giải thích rõ sự khác biệt giữa foldl và foldr giúp lập trình viên sử dụng đúng hàm fold trong các tình huống cụ thể.