Rust ở cấp độ cao: Tận hưởng 80% lợi ích, chỉ chịu 20% khó khăn

Rust ở cấp độ cao: Tận hưởng 80% lợi ích, chỉ chịu 20% khó khăn

Trong nhiều năm, tôi luôn tìm kiếm một ngôn ngữ lập trình hoàn hảo, nhưng kết luận hiện tại là nó vẫn chưa tồn tại. Không có ngôn ngữ nào sở hữu tất cả: hệ thống kiểu biểu cảm mạnh mẽ, cộng đồng tốt, hệ sinh thái phong phú, hiệu năng cao và trải nghiệm phát triển (DevX) tuyệt vời cùng một lúc.

Rust High Level

Trong vài năm qua, các lựa chọn hàng đầu của tôi là F#, TypeScript và C#. Tất cả đều là những ngôn ngữ vững chắc, nhưng tôi luôn cảm thấy phải thỏa hiệp ở một khía cạnh nào đó. F# có cú pháp quá tối giản, hệ sinh thái nhỏ bé. TypeScript phổ biến nhất thế giới nhưng kiểu dữ liệu không thực sự nghiêm ngặt. C# là ngôn ngữ hướng đối tượng tốt nhưng đầy rẫy mã mẫu (boilerplate) và thiếu các union types native.

Rust gần như hoàn hảo, ngoại trừ vấn đề năng suất

Tôi đã biết đến Rust từ lâu nhưng ít khi xem xét nghiêm túc, chủ yếu vì không nghĩ rằng độ cong học tập (learning curve) xứng đáng với lợi ích thu được.毕竟 tôi không phải là lập trình viên hệ thống, tại sao lại phải dùng ngôn ngữ hệ thống?

Tuy nhiên, Rust rất phổ biến tại Recurse Center, nơi tôi đang dành vài tuần qua để xây dựng các dự án. Một người bạn đã đề cập rằng Rust là một ngôn ngữ tốt ngay cả khi bạn chỉ chọn nó vì hệ thống kiểu dữ liệu. Điều này thú vị vì tôi thường chọn ngôn ngữ dựa trên tính năng kiểu dữ liệu.

Sau khi nghiên cứu, Rust thực sự là một đối thủ nặng ký, ngoại trừ trải nghiệm phát triển. Nhưng tôi bắt đầu suy nghĩ: với khả năng viết mã chuẩn xuất sắc của AI hiện nay, liệu độ cong học tập này có còn cao không? Chúng ta có thể code bằng Rust nhanh như các ngôn ngữ khác không?

Ưu và nhược điểm của Rust

Ưu điểm của Rust bao gồm:

• Tốc độ: Tiệm cận C, nhanh nhất trong số các ngôn ngữ có thể đọc được.
• Kiểu dữ liệu: Thực sự biểu cảm mạnh mẽ.
• Khả năng chạy: Có thể chạy ở bất cứ đâu nhờ tính chất low-level.
• Hệ sinh thái: Lớn và đang phát triển nhanh chóng.

Nhược điểm:

• Độ cong học tập: Ownership, borrowing, lifetimes, async runtimes và các cạm bẫy.
• Tốc độ phát triển thấp hơn: So với các ngôn ngữ cấp cao.

Nếu loại bỏ nhược điểm, Rust trông giống hệt ngôn ngữ tôi đang tìm kiếm.

Rust ở cấp độ cao (High-Level Rust)

Tôi có một ý tưởng: Điều gì sẽ xảy ra nếu bạn viết Rust như một ngôn ngữ cấp cao? Nếu có thể đưa trải nghiệm phát triển của nó tiệm cận với C#, F# hay TypeScript, bạn sẽ nhận được tất cả lợi ích.

Sau khi nghiên cứu và đọc Rust Book, tôi tìm ra một cách tiếp cận mang lại khoảng 80% lợi ích của Rust chỉ với 20% khó khăn. Điểm trừ duy nhất là hiệu suất giảm 10-20%, điều không quá tệ khi xét đến tốc độ vốn có của Rust.

Cách tiếp cận này bao gồm:

1. Mô hình hóa miền theo hướng kiểu (Type-first domain modeling): Sử dụng enums và structs để mô hình hóa miền. Làm cho các trạng thái không hợp lệ không thể biểu diễn.
2. Logic theo phong cách hàm (Functionalish logic): Bất biến (immutable) theo mặc định, hàm thuần túy (pure functions), và sao chép (clone) thay vì biến đổi (mutation). Hệ thống kiểu của Rust đã thúc đẩy điều này. Nếu chấp nhận đánh đổi hiệu suất để clone, bạn có thể tránh được hầu hết các trường hợp phức tạp của borrow checker, lifetimes và async.
3. Thiết kế hướng miền (Domain Driven Design): Các miền được đóng gói đằng sau các dịch vụ. Sử dụng traits làm các giao diện (interface) để hỗ trợ Dependency Injection và kiểm thử. Tạo các dịch vụ này ở gốc ứng dụng và sử dụng Arc để cho phép chia sẻ tham chiếu.

Programming Language Comparison

Đánh đổi hiệu suất

Chúng ta sẽ mất một phần hiệu suất, khoảng 10-30% tùy thuộc vào tần suất clone. Nếu có các đường dẫn nóng (hot path) cần hiệu suất cao, bạn có thể tối ưu hóa chúng bằng cách chuyển sang sử dụng mutation.

Tuy nhiên, cách tiếp cận này thêm một gánh nặng tinh thần: bạn phải nhớ sử dụng cấu trúc bất biến, nguyên thủy và Arc ở mọi nơi để giảm chi phí clone. Trong các ngôn ngữ có Garbage Collection (GC), chi phí này thấp hơn, nhưng trong Rust, clone là deep copy. Các clone không hiệu quả trong hot path có thể làm giảm hiệu suất xuống dưới các ngôn ngữ biên dịch khác như F# hay C#.

Khi nào nên dùng Rust cấp độ cao?

Cách tiếp cận này phù hợp khi bạn quan tâm đến logic hơn là hiệu suất thô.

Phù hợp cho:

• Web APIs, dịch vụ CRUD.
• Các ứng dụng nặng về logic nghiệp vụ.
• Dự án mà tính đúng đắn (correctness) quan trọng hơn hiệu suất thô.
• Các nhóm chuyển đổi từ ngôn ngữ hàm.

Không phù hợp cho:

• Hot paths, game engines, nhân hệ điều hành.
• Các hệ thống đồng thời phức tạp với trạng thái biến đổi chia sẻ.
• Khi bạn cần mọi bit hiệu suất.
• Khi bạn có thời gian để học và sử dụng "Rust chuẩn" - các Rustacean kỳ vọng có thể thấy đề xuất này quá hạn chế.

Kết luận

Rust thực sự cảm giác như một ngôn ngữ tuyệt vời trên giấy tờ, nhưng nó có những trường hợp cạnh khó khăn khiến việc tiếp cận trở nên gian nan. Tôi tin rằng cách tiếp cận "Rust cấp độ cao" này có thể giúp làm mềm những cạnh sắc đó, biến nó thành một ngôn ngữ cấp cao tuyệt vời mà vẫn có khả năng tạo ra hiệu suất gần với phần cứng khi cần.

Tôi đang tích cực phát triển gói LightClone để thực thi các clone rẻ tiền. Nếu bạn quan tâm, hãy theo dõi dự án này trên GitHub. Đây có thể là bước ngoặt để biến Rust trở thành lựa chọn khả thi cho các ứng dụng cấp cao mà không phải đau đầu về bộ nhớ.