(Computer Science) Lisp Macro & Julia Programming Language

Macro programming là một kỹ thuật meta programming cho phép tiền xử lí mã nguồn đầu vào trước khi qua trình biên dịch (hoặc thông dịch), nhờ đó mà có thể dể dàng tạo ra domain-specific language trên ngôn ngữ lập trình ban đầu. Không phải bất kì ngôn ngữ lập trình nào cũng hổ trợ Macro. Macro system “tạm” chia ra làm 2 loại chính:

• Text-substitution macros (C-like): sẽ thao tác thay thế chuổi trước khi biên dịch.
• Syntactic macros (Lisp-like): xem chương trình như một Abstract Syntax Tree và thao tác trên cấu trúc dữ liệu đấy.

Mỗi hướng tiếp cận có ưu điểm riêng. Tuy vậy hướng tiếp cận Lisp giúp dể dàng xây dựng các DSL. Julia Programming Language ngoài hiệu năng tính toán cao, một ưu điểm ít được nhắc đến là cú pháp gọn gàng & đẹp, nhiều DSL hữu ích (Lisp-like macro):

• Turing.jl: định nghĩa quá trình sinh dữ liệu bằng ngôn ngữ xác suất. Viết Turing như viết kịch bản quá trình ngẫu nhiên…
• ExprRules.jl: định nghĩa văn phạm (grammar), dùng trong mấy bài tối ưu biểu thức (expression).
• …và một số thư viện trong nhánh phương trình vi phân…

Scientific computing ngày nào công thức cồng kềnh rối ren, vậy mà giờ đây có thể ngắn ngọn xúc tích trong vài dòng ý nhị

Lê Quang Tiến - viết vào ngày 27 tháng 12 năm 2023