Blaise: Trình biên dịch Object Pascal hiện đại loại bỏ gánh nặng di sản

Blaise: Trình biên dịch Object Pascal hiện đại loại bỏ gánh nặng di sản

Blaise là một trình biên dịch Object Pascal thế hệ mới được xây dựng từ đầu nhằm loại bỏ những gánh nặng kỹ thuật tích lũy qua nhiều thập kỷ. Dự án này ưu tiên năng suất của nhà phát triển, an toàn bộ nhớ và khả năng thực thi hiệu suất cao, mang đến một luồng gió mới cho cộng đồng yêu thích ngôn ngữ Pascal.

Tầm nhìn và Động cơ

Hệ sinh thái Object Pascal hiện nay chủ yếu xoay quanh hai lựa chọn: Embarcadero Delphi (phần mềm thương mại, ưu tiên nền tảng Windows) và Free Pascal (mã nguồn mở nhưng mang đến 30 năm phức tạp với 5 chế độ ngôn ngữ và 5 kiểu chuỗi khác nhau).

Blaise đi theo một hướng tiếp cận hoàn toàn khác biệt: đơn giản hóa và hiện đại hóa. Thay vì cố gắng duy trì khả năng tương thích với các phương ngữ cũ, Blaise thiết lập một tiêu chuẩn mới, sạch sẽ và nhất quán.

Các tính năng cốt lõi

Dự án tập trung vào việc thống nhất các khái niệm để giảm thiểu sự nhầm lẫn và lỗi lập trình:

• Một chế độ ngôn ngữ duy nhất: Không có các công tắc chuyển đổi {$mode}, không hỗ trợ các phương ngữ cũ.
• Một kiểu chuỗi duy nhất: Sử dụng chuỗi UTF-8 có tính năng đếm tham chiếu (reference-counted). Dữ liệu nhị phân được xử lý bằng RawBytes.
• Mô hình bộ nhớ thống nhất: Tự động đếm tham chiếu áp dụng đồng nhất cho chuỗi, lớp và giao diện. Không còn sự phân chia thủ công giữa TObject và TInterfacedObject; từ khóa [Weak] được sử dụng để phá vỡ các vòng tham chiếu.
• Giao diện sạch sẽ: Loại bỏ COM GUIDs; việc dispatch giao diện thực hiện thông qua ánh xạ vtable tại thời điểm biên dịch.
• Generics thực thể (Reified generics): Sử dụng monomorphization tại thời gian biên dịch, giúp loại bỏ vấn đề type erasure.
• Hệ thống xây dựng hiện đại: Sử dụng PasBuild với file project.xml, loại bỏ nhu cầu sử dụng makefiles phức tạp.

Những gì bị loại bỏ

Để đạt được sự hiện đại hóa, Blaise đã loại bỏ quyết liệt các tính năng cũ kỹ của Pascal cổ điển:

• Các kiểu chuỗi như ShortString, AnsiString, WideString được thay thế hoàn toàn bằng kiểu chuỗi UTF-8 duy nhất.
• Câu lệnh with bị loại bỏ do là nguồn gốc của các lỗi khó chẩn đoán và phá vỡ khả năng phân tích tĩnh.
• Các kiểu object cũ được thay thế bằng record (dành cho stack/value) hoặc class (dành cho heap/reference).
• Các hàm I/O cũ như assign, reset, rewrite, blockread được thay thế bằng Run-time Library (RTL) dựa trên luồng (stream).

Tình trạng dự án

Blaise hiện đang trong quá trình phát triển tích cực và đã đạt được những cột mốc quan trọng:

• Tự lưu trữ (Self-hosting): Trình biên dịch hiện đã có thể tự khởi động và biên dịch lại chính nó với sự khớp byte từng byte một.
• Kiểm thử: Hệ thống có hơn 1200 bài kiểm thử và đang tiếp tục tăng trưởng (phát triển theo hướng Test-Driven Development).
• Backend: Hiện tại đang sử dụng backend QBE, với kế hoạch phát triển backend LLVM trong tương lai.

Dự án sử dụng giấy phép Apache License v2.0 với Runtime Library Exception. Hiện tại, nhóm phát triển chưa chấp nhận đóng góp mã nguồn vì kiến trúc cốt lõi vẫn đang được hoàn thiện, nhưng rất hoan nghênh phản hồi về thiết kế ngôn ngữ và hướng đi của dự án trên GitHub.