Cốt lõi của Rust

• Rust là một ngôn ngữ có nhiều khái niệm đan xen chặt chẽ với nhau, nên ngay cả để hiểu một chương trình cơ bản cũng phải học đồng thời nhiều yếu tố
• Hàm, generic, enum, pattern matching, trait, tham chiếu, ownership, Send/Sync, Iterator... đều là những yếu tố cốt lõi được thiết kế để tương tác với nhau
• So với JavaScript, JS cho phép viết code chỉ với việc hiểu một phần khái niệm, nhưng với Rust, chỉ khi hiểu được ngữ cảnh của toàn bộ ngôn ngữ thì mới có thể viết ra code thực sự có ý nghĩa
• Sự phức tạp này của Rust làm tăng rào cản học tập, nhưng đồng thời mang lại tính an toàn và nhất quán, và có ảnh hưởng lớn tới cách thiết kế code
• Cấu trúc ngôn ngữ như vậy chính là điều làm Rust trở nên đặc biệt, và tầm nhìn về “Rust nhỏ hơn” khiến ta nhìn lại triết lý ngôn ngữ được kết hợp một cách tinh vi

---

Sự khó khăn khi học Rust

• Dù Rust có rào cản gia nhập cao, nhiều người vẫn đã đóng góp vào việc cải thiện tài liệu, API và chẩn đoán lỗi
• Các khái niệm nền tảng bao gồm hàm như công dân hạng nhất, enum, pattern matching, generic, trait, tham chiếu, borrow checker, an toàn đồng thời, iterator
• Những khái niệm này phụ thuộc lẫn nhau và đan xen với nhau, nên khó học từng phần một cách tách biệt; ngay cả thư viện chuẩn cũng tận dụng hầu hết các tính năng đó
• Ngay cả để hiểu một đoạn mã Rust khoảng 20 dòng, cũng cần đồng thời nắm được nhiều yếu tố như mô hình hàm, Result và xử lý lỗi, kiểu generic, enum, iterator...

So sánh Rust và JavaScript

• Khi viết cùng một chương trình theo dõi thay đổi tệp bằng Rust và JS, Rust cho thấy nhiều khái niệm ngôn ngữ đan cài với nhau
• Với JS, về cơ bản chỉ cần hiểu hàm và xử lý null là đã có thể viết được code chạy ổn
• Điều này không đơn thuần có nghĩa là Rust khó hơn, mà cho thấy Rust là một thiết kế đòi hỏi sự hiểu biết có cấu trúc về toàn bộ ngôn ngữ

Thiết kế liên kết chặt chẽ của Rust

• Cốt lõi của Rust là sự kết hợp của các tính năng được thiết kế một cách hữu cơ
  • Enum sẽ bất tiện nếu không có pattern matching, và pattern matching cũng bị hạn chế nếu không có enum
  • Result và Iterator không thể được triển khai nếu không có generic
  • Các khái niệm Send/Sync và ràng buộc của println chỉ có thể được biểu đạt an toàn khi có trait
  • Borrow checker bảo đảm an toàn Send/Sync thông qua việc phân tích capture của closure
• Sự gắn kết lẫn nhau này khiến Rust trở thành một hệ thống ngôn ngữ tích hợp, chứ không chỉ là tập hợp đơn thuần của các tính năng

Tầm nhìn về Rust nhỏ hơn

• Năm 2019, without.boats đã nhắc đến “Smaller Rust” khi bàn về khả năng của một Rust nhỏ gọn và tinh lọc hơn
• Ngày nay Rust đã lớn hơn rất nhiều, nhưng khái niệm Rust nhỏ hơn vẫn nhắc lại bản chất của một thiết kế ngôn ngữ được ăn khớp tinh vi
• Sức hấp dẫn của Rust nằm ở chỗ các yếu tố ngôn ngữ vừa độc lập vừa khi kết hợp lại tạo ra khả năng biểu đạt mạnh mẽ và tính an toàn

Kết luận

• Rust khó học, nhưng tính nhất quán và tích hợp của các khái niệm đan xen với nhau lại là một thế mạnh lớn
• Nhờ cấu trúc đó, Rust khiến lập trình viên không chỉ viết code, mà còn hình thành cách tư duy đồng thời cân nhắc cả an toàn lẫn hiệu năng
• Bản chất của Rust nằm ở một “ngôn ngữ cốt lõi nhỏ gọn và tinh vi”, và đó vẫn là một triết lý quan trọng ngay cả trong Rust đã được mở rộng như ngày nay