Viết trình biên dịch C bằng 500 dòng Python

• Tác giả đã thực hiện một thử thách khó: viết một trình biên dịch C chỉ với 500 dòng mã Python
• Trình biên dịch hoạt động theo kiểu một lượt; khác với trình biên dịch hai lượt thông thường vốn xây dựng cây cú pháp trước rồi chuyển đổi sang mã máy, nó sinh mã ngay trong quá trình phân tích cú pháp
• Trình biên dịch nhắm đến WebAssembly, một lựa chọn xuất phát từ sự tò mò hơn là tính thực dụng. Bài viết nhấn mạnh các thách thức đặc thù của WebAssembly, như không có thanh ghi và sử dụng máy ngăn xếp
• Do giới hạn 500 dòng, trình biên dịch không hỗ trợ một số tính năng của C như struct, enum, union, chỉ thị tiền xử lý, số thực dấu phẩy động và các kiểu 8 byte
• Trình biên dịch vượt qua 34 trong số 220 ca kiểm thử của c-testsuite, và có thể biên dịch cũng như chạy thành công một chương trình tính dãy Fibonacci
• Bài viết cung cấp phần phân tích chi tiết về mã của trình biên dịch, giải thích cách nó xử lý nhiều khía cạnh khác nhau của cú pháp C và những khó khăn khi làm việc với WebAssembly
• Dù trình biên dịch rất phức tạp, bài viết cho thấy rằng nếu chấp nhận hy sinh chất lượng mã và làm mọi thứ trong một lượt duy nhất, kết quả có thể ngắn gọn đến đáng ngạc nhiên
• Tác giả gợi ý rằng kiểu trình biên dịch một lượt như vậy có thể rất phù hợp làm stage0 cho một ngôn ngữ tự lưu trữ nhờ tính cô đọng của nó
• Số dòng mã được đo bằng công cụ sloccount, trong đó loại trừ chú thích, docstring và dòng trống

[GN⁺]

Ý kiến trên Hacker News

• Bài viết về việc tạo một trình biên dịch C bằng 500 dòng Python, được so sánh với trình biên dịch Tiny Pascal được công bố vào năm 1978
• Trình biên dịch là loại single-pass, trong đó việc sinh mã được thực hiện trong lúc phân tích cú pháp; đây là một đặc điểm được thiết kế riêng cho C để phù hợp với bộ nhớ hạn chế của các máy tính thời kỳ đầu
• Lợi ích của việc tự viết trình biên dịch là giúp hiểu về compiler, interpreter, linker/loader và phần mềm hệ thống liên quan, đồng thời hỗ trợ công việc gỡ lỗi và nâng cao trình độ kỹ thuật của lập trình viên
• Dự án này tương tự các dự án khác như một dự án TypeScript tạo ra hợp ngữ x86, biên dịch nó thành nhị phân và thực thi nó
• Bài viết được khen ngợi vì phần giải thích rõ ràng, và điều này được xem là một thử thách thú vị trong thế giới các ngôn ngữ lập trình kỳ lạ (esolangs)
• Việc viết một trình biên dịch C bằng 500 dòng mã dễ hiểu được xem là một thử thách lớn, ngay cả với các lập trình viên giàu kinh nghiệm cũng có thể cần nhiều tháng làm việc
• Bài viết khơi gợi sự tò mò về những trình biên dịch nhỏ khác, như trình biên dịch Scheme sang WASM
• Để so sánh, bài viết đề cập đến số dòng mã (LOC) của các trình biên dịch C hoặc giống C nhỏ khác, bao gồm trình biên dịch struct sơ khai nhất của Ritchie và trình biên dịch C của Unix v7