Sunsetting the Haskell Certification Program

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

GitHub - janestreet/bonsai: A library for building dynamic webapps, using Js_of_ocaml

Bonsai là thư viện giúp xây dựng các ứng dụng web động bằng Js_of_ocaml, do Jane Street phát triển.

Lập trình viên muốn phát triển ứng dụng web động nhanh chóng và hiệu quả bằng ngôn ngữ OCaml mà không cần phải học thêm JavaScript từ scratch sẽ tìm hiểu Bonsai để khám phá cách tích hợp Js_of_ocaml vào dự án của mình.

Kotlin Weekly #525

Kotlin Weekly #525 tổng hợp các bài viết, video và thư viện mới từ cộng đồng Kotlin trong tuần qua. Các bài viết khám phá monad trong Kotlin, sử dụng Compose HTML để render phía máy chủ, sự suy nghĩ lại của nhà phát triển di động về React Native và xử lý lỗi miền chức năng. Trong phần video, có phân tích hiệu suất coroutine, sự phát triển của Gradle DSL và các bẫy bảo mật khi làm việc với API hệ thống tập tin. Đồng thời ra mắt thư viện như trạng thái Android dựa trên TanStack Query, công cụ tự động WebView cho Kotlin Multiplatform, SDK KMP của ElevenLabs, engine soạn thảo văn bản phong phú và plugin IDE phát hiện rò rỉ coroutine. Từ đó, nhà phát triển có thể nắm bắt xu hướng lập trình hàm, cải thiện hiệu suất và an toàn ứng dụng, đồng thời học cách áp dụng các công cụ mới để giảm lỗi và tăng năng suất.

Bài này cung cấp cái nhìn tổng quan về xu hướng công nghệ Kotlin mới nhất với các bài viết, video và thư viện hữu ích cho lập trình viên.

Show HN: Fuse – statically typed functional programming language

Ngôn ngữ lập trình Fuse kết hợp kiểu tĩnh và lập trình chức năng, biên dịch ra mã gốc thông qua GRIN và LLVM.

Nếu bạn đang tìm kiếm một ngôn ngữ lập trình kết hợp tính chính xác của kiểu dữ liệu với logic mạnh mẽ của lập trình chức năng mà vẫn có thể chạy nhanh như mã C/C++, Fuse là lựa chọn đáng chú ý để thử nghiệm và mở rộng kiến thức về cách tối ưu hóa hiệu suất trong lập trình chức năng.

A programming language for humans.

EYG là ngôn ngữ lập trình hướng tới trải nghiệm người dùng thân thiện, được thiết kế dựa trên triết lý và tập hợp tính năng nhằm tối ưu hóa khả năng đọc, viết và bảo trì code cho con người.

Lập trình viên nên đọc bài này để khám phá cách thiết kế ngôn ngữ lập trình được tối ưu cho sự hiểu biết và hiệu suất giữa con người và máy móc, giúp giảm thiểu lỗi và tăng tốc độ phát triển ứng dụng.

Emacs salmagundi, 2026-09-06

A personal Emacs configuration journal entry covering two workflow tweaks: replacing a custom minor mode for running Haskell build/test commands (cabal build, cabal test, fourmolu) with the emacs-multi-compile package, and building a small custom package called consult-kith to jump between implementation files and multiple kinds of test files (Spec.hs and Prop.hs) after ff-find-other-file proved too limited.