Rust nhưng là Lisp: Kết hợp cú pháp S-expression với sức mạnh của Rust

Rust nổi tiếng với hiệu năng cao và an toàn bộ nhớ nhờ các cơ chế như ownership và borrowing, nhưng cú pháp của nó đôi khi được coi là khá phức tạp. Ngược lại, Lisp (hoặc các ngôn ngữ họ Scheme/Clojure) lại nổi tiếng với cú pháp đơn giản, tối giản dựa trên biểu thức S (s-expressions) và khả năng meta-programming vượt trội.

Dự án rlisp (Rust but Lisp) là một sự kết hợp táo bạo giữa hai thế giới này. Nó cung cấp một giao diện front-end sử dụng cú pháp Lisp để viết mã, nhưng sau đó biên dịch trực tiếp sang Rust. Điều này có nghĩa là bạn sẽ có được sự linh hoạt của cú pháp Lisp nhưng vẫn giữ nguyên toàn bộ ngữ nghĩa và hiệu năng của Rust.

Cơ chế hoạt động: Không runtime, không GC

Điểm thú vị nhất của rlisp là nó không phải là một ngôn ngữ mới chạy trên máy ảo. Thay vào đó, nó hoạt động như một bộ chuyển đổi mã (transpiler):

1. Bạn viết mã bằng cú pháp s-expression của Lisp.
2. rlisp chuyển đổi mã đó thành mã Rust hợp lệ (.rs).
3. rustc (trình biên dịch của Rust) biên dịch mã đó thành binary.

Không có runtime, không có Garbage Collector (GC), và không có khoảng cách ngữ nghĩa (semantic gap). Mọi thứ từ ownership, lifetimes, generics, traits cho đến pattern matching đều được giữ nguyên và được rustc kiểm tra kiểu dữ liệu (type checking) và kiểm tra mượn (borrow checking) như bình thường.

Ví dụ, một cấu trúc (struct) trong rlisp sẽ trông như sau:

(struct Point
  (x f64)
  (y f64))

(impl Point
  (fn distance ((&self) (other &Point)) f64
    (let dx (- (. self x) (. other x)))
    (let dy (- (. self y) (. other y)))
    ((. dx powf 2.0) + (. dy powf 2.0)) sqrt))

Đoạn mã này sẽ được chuyển đổi trực tiếp sang mã Rust tương đương.

Hệ thống Macro: "Vũ khí bí mật" của Lisp

Một trong những lý do chính khiến tác giả tạo ra rlisp là để tận dụng sức mạnh của macro trong Lisp. Trong Rust, việc viết macro (đặc biệt là procedural macros) thường khá phức tạp, đòi hỏi kiến thức về token streams và các crate như syn hay quote.

Trong rlisp, macro đơn giản hơn nhiều. Một macro chỉ là một hàm nhận vào biểu thức S và trả về biểu thức S, thực thi tại thời điểm biên dịch. Dự án này sử dụng các dạng đặc biệt như quasiquote, unquote và unquote-splicing để định nghĩa macro một cách trực quan:

;; Định nghĩa macro when
(defmacro when (condition &rest body)
  (quasiquote (if (unquote condition) (do (unquote-splicing body)))))

Cách tiếp cận này giúp việc viết meta-programming trở nên dễ dàng và tự nhiên hơn nhiều so với cách truyền thống của Rust.

Cú pháp đồng nhất và Structural Editing

Lisp nổi tiếng với tính chất "code is data", và rlisp cũng kế thừa điều này. Mọi thứ trong rlisp đều là s-expression, từ biểu thức, câu lệnh, kiểu dữ liệu cho đến các mẫu khớp (pattern). Điều này tạo ra một cú pháp đồng nhất, giúp việc thao tác mã bằng các công cụ chỉnh sửa cấu trúc (structural editing) trở nên cực kỳ mạnh mẽ.

Các thao tác như "slurp", "barf", hay "transpose" trên các biểu thức danh sách trở nên dễ dàng vì mọi thứ đều được cân bằng bởi cấu trúc dấu ngoặc đơn.

Cách sử dụng

Hiện tại, rlisp có thể được cài đặt thông qua Cargo. Sau khi cài đặt, bạn có thể sử dụng các lệnh cơ bản sau:

• rlisp compile file.lisp: Chuyển đổi file Lisp sang file Rust.
• rlisp build file.lisp: Chuyển đổi và biên dịch thành binary bằng rustc.
• rlisp run file.lisp: Chạy toàn bộ quy trình từ chuyển đổi đến thực thi.

Dự án cũng hỗ trợ chèn mã Rust thô trực tiếp thông qua cú pháp (rust "...") cho những tính năng mà rlisp chưa hỗ trợ sẵn.

Kết luận

rlisp chủ yếu là một dự án khám phá để xem Rust trông như thế nào khi loại bỏ cú pháp phức tạp và chỉ giữ lại ngữ nghĩa cốt lõi. Tuy nhiên, nó cũng mang lại những góc nhìn thực tế về việc làm thế nào để đơn giản hóa việc viết macro và tận dụng các công cụ chỉnh sửa mã cấu trúc. Nếu bạn là một fan của Lisp nhưng cần hiệu năng và an toàn của Rust, thì đây chắc chắn là một dự án đáng để theo dõi.