Gleam Language Update

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.

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

Httpc: per-request Unix-domain socket support

Httpc đang hỗ trợ Unix sockets ở cấp profile thử nghiệm, nhưng cần tính năng cho phép chọn socket Unix cho từng request riêng lẻ mà không thay đổi cấu hình profile. Nguyên nhân kỹ thuật là hiện tại không có cách nào chọn socket cho từng request cụ thể trong httpc:request/4,5 call. Hệ quả này làm giới hạn linh hoạt khi làm việc với nhiều socket Unix khác nhau trong cùng một ứng dụng. Điều đáng học là giải pháp sẽ cung cấp API mới cho phép chọn socket Unix cho từng request riêng, thay vì chỉ ở cấp profile toàn cục.

Lập trình viên nên đọc bài này để biết cách hỗ trợ socket Unix cho từng yêu cầu riêng lẻ trong thư viện httpc.

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.

Gleam Gathering 2027 is coming to London!

Gleam Gathering 2027 sẽ diễn ra tại London, Anh. Đây là hội nghị toàn diện dành riêng cho ngôn ngữ lập trình Gleam. Hội nghị hứa hẹn mang đến cơ hội kết nối và chia sẻ kiến thức cho cộng đồng Gleam. Nếu bạn đang sử dụng Gleam hoặc quan tâm đến ngôn ngữ này, đây là sự kiện không nên bỏ lỡ. Gleam Gathering 2027 là cơ hội lý tưởng để cập nhật các phát triển mới nhất trong hệ sinh thái Gleam.

Là người phát triển Gleam, bạn nên tham gia để khám phá những xu hướng mới nhất trong ngôn ngữ đa nền tảng này, từ cải tiến hiệu năng đến các tính năng tương tác với Erlang/Elixir, giúp tối ưu hóa dự án hiện tại và chuẩn bị sẵn sàng cho tương lai.

Issue 538

Bản tin tuần này của cộng đồng Haskell giới thiệu phiên bản Cabal 3.18.1.0, dự án biên dịch chéo GHC 9.8 cho iOS từ đầu, bài nói về cải tiến Haskell cho khoa học dữ liệu, chia sẻ của Simon Peyton Jones về nguồn gốc và tương lai của ngôn ngữ, cùng nhiều cập nhật nhỏ khác như Hasql v2, Ormolu, thư viện Redis, và các công cụ lập trình cơ sở dữ liệu.

Lập trình viên Haskell sẽ tìm hiểu cách tối ưu hóa dự án hiện tại bằng cách khám phá các công cụ mới như Ormolu và Hasql v2, đồng thời cập nhật kiến thức về xu hướng như GHC 9.8, cơ sở dữ liệu và ứng dụng khoa học dữ liệu trong ngôn ngữ này.

Typeclasses vs Modules

They do different things

Purely Functional Operating Systems

Bài viết chia sẻ bản quét của bài viết "Purely Functional Operating Systems" của Peter Henderson năm 1982. Nguyên nhân kỹ thuật là bài viết này được số hóa từ bản vật lý trong thư viện trong quá trình nghiên cứu PhD của tác giả. Hệ quả là bài viết hiếm này giờ đã dễ tiếp cận hơn cho các lập trình viên quan tâm đến functional programming. Điều đáng học là paper này khám phá cách xây dựng operating system hoàn toàn bằng purely functional approach, một concept rất khác biệt so với OS truyền thống. Các lập trình viên tìm hiểu functional programming sẽ thấy thú vị với góc nhìn lịch sử này về áp dụng functional paradigm vào hệ điều hành.

Bài này giúp lập trình viên hiểu về ứng dụng của lập trình thuần hàm trong hệ điều hành, một khái niệm tiên phong từ những năm 1980.