Gforth 1.0 chính thức ra mắt: bước tiến lớn của ngôn ngữ Forth mã nguồn mở

Gforth, một trong những bản triển khai Forth phổ biến nhất trên nền tảng GNU, vừa công bố phiên bản 1.0 — cột mốc đánh dấu hơn ba thập kỷ phát triển. Bản phát hành mang đến nhiều tính năng mới đáng chú ý, từ đa nhiệm đa lõi, closure, biểu thức chính quy (regex) cho đến một bộ công cụ giao diện đồ họa riêng có tên MINOS2.

Dù Forth không còn là ngôn ngữ phổ thông trong giới lập trình hiện đại, nó vẫn giữ vị trí đặc biệt trong các hệ thống nhúng, điều khiển phần cứng và những dự án yêu thích sự tối giản. Việc Gforth đạt phiên bản 1.0 có ý nghĩa quan trọng với cộng đồng mã nguồn mở và những ai quan tâm đến lập trình hệ thống.

Những điểm mới nổi bật trong Gforth 1.0

Theo tài liệu chính thức, bản 1.0 bổ sung nhiều khả năng mà trước đây Forth thường thiếu. Đáng chú ý nhất là đa nhiệm thật sự trên nhiều lõi hoặc luồng phần cứng, với các từ vựng như newtask, initiate, execute-task, sleep, wake hay cơ chế khóa mutex, atomic!@, barrier.

Gforth 1.0 cũng giới thiệu hàng đợi thông điệp theo mô hình actor (send-event, event-loop) và tích hợp tư duy của Cilk để phân chia công việc giữa các task (spawn, cilk-sync). Đây là những bước tiến đáng kể so với mô hình Forth truyền thống vốn đơn luồng.

Một số cải tiến kỹ thuật khác gồm:

• Closure — execution token cho đoạn mã kèm dữ liệu, với cú pháp như [n:l, [d:h, :}xt.
• Cải thiện giao diện C, bao gồm callback (c-callback, c-funptr).
• Biểu thức chính quy được tích hợp sẵn ((( )), charclass, {** **}, {{ || }}…).
• Hỗ trợ đa ngôn ngữ và bản địa hóa (i18n/l10n) với locales, locale!.
• Định dạng đầu ra terminal có màu, chế độ sáng/tối và xử lý phím đơn như key-ior, ekey>xchar.

Chuẩn hóa chính sách ổn định của từ vựng

Một thay đổi quan trọng về mặt tài liệu là Gforth nay công bố rõ những từ vựng nào được hỗ trợ lâu dài và những từ nào không. Trước đây, nhiều từ vựng chỉ được nhắc đến mà không nêu rõ vai trò hay mức độ ổn định. Với bản 1.0, người dùng có thể tra cứu chính sách "Stability Goals" để biết nên dựa vào những thành phần nào trong dự án dài hơi.

Bên cạnh đó, bộ thông dịch văn bản (text interpreter) nay thông minh hơn: lệnh Smart .s có thể đoán ý nghĩa các mục trên stack và hiển thị phù hợp, trong khi .s vẫn giữ hành vi "ngốc nghếch" truyền thống. Terminal cũng có thêm thanh trạng thái hiển thị BASE, các stack và thứ tự tìm kiếm.

MINOS2 và hệ sinh thái giao diện

Gforth 1.0 mang theo MINOS2 — một framework giao diện đồ họa gốc Forth với hệ thống widget, sự kiện chạm/phím, bố cục linh hoạt và quản lý màu sắc. Đây là điểm khác biệt lớn so với hình ảnh quen thuộc của Forth như một công cụ dòng lệnh thuần túy.

Ngoài ra, dự án bổ sung nhiều tiện ích thực dụng như đọc CSV (read-csv, csv-separator), growable buffer, string với quản lý bộ nhớ tự động ($@, $slurp-file), và hỗ trợ lưu ảnh chương trình, xử lý tham số khởi động.

Ghi chú về Gforth EC

Nhóm phát triển cho biết họ không phát triển Gforth EC (bản dành cho hệ nhúng) kể từ phiên bản 0.7. Họ khuyến nghị người dùng hệ nhúng tiếp tục dùng Gforth 0.7, nhưng vẫn hoan nghênh báo cáo lỗi hoặc thành công từ phiên bản git head.

Ý nghĩa với cộng đồng

Việc Gforth 1.0 ra mắt sau nhiều năm chờ đợi là tín hiệu tích cực cho thấy ngôn ngữ Forth vẫn có người duy trì, phát triển nghiêm túc. Với các lập trình viên quan tâm đến ngôn ngữ stack-based, lập trình hệ thống tối giản hoặc muốn tìm hiểu một góc nhìn khác ngoài C, Rust hay Python, Gforth 1.0 là một lựa chọn đáng để khám phá.

Tài liệu chi tiết có thể xem tại gforth.org/manual/1.0/NEWS.html — và cộng đồng công nghệ đang thảo luận sôi nổi trên Hacker News về bản phát hành này.