Một trình thông dịch Lisp viết bằng C chỉ với 99 dòng code đã khơi mào cuộc tranh luận sôi nổi trong cộng đồng lập trình về việc liệu việc nén code cực độ có đáng trả giá quá cao hay không. Dự án có tên tinyLisp, cố gắng đóng gói một trình thông dịch Lisp đầy đủ chức năng với 21 hàm nguyên thủy tích hợp, thu gom rác và REPL vào chưa đến 100 dòng code C.
Tính năng của TinyLisp:
- 99 dòng code C (trung bình 55 dòng mã nguồn)
- 21 hàm nguyên thủy Lisp tích hợp sẵn
- Bộ thu gom rác đơn giản
- REPL (Vòng lặp Đọc-Thực thi-In)
- Hỗ trợ phạm vi tĩnh
- Tính toán số thực dấu phẩy động độ chính xác kép
- Chiều rộng tối đa 120 cột để chỉnh sửa
 |
|---|
| Một ví dụ về phiên làm việc trong trình thông dịch giống Lisp, thể hiện việc sử dụng các hàm lambda và currying, phản ánh chức năng của tinyLisp |
Mối quan ngại về chất lượng code chiếm ưu thế trong cuộc thảo luận
Triển khai này đã nhận được những chỉ trích gay gắt từ các nhà phát triển, những người cho rằng việc theo đuổi tính ngắn gọn đã dẫn đến những thực hành code có vấn đề. Các nhà phê bình chỉ ra một số vấn đề kỹ thuật bao gồm việc lạm dụng kiểu dữ liệu double, các vấn đề phụ thuộc endian, và vi phạm strict aliasing có thể ngăn code hoạt động trên các trình biên dịch hiện đại. Một số nhà phát triển thậm chí đã phát hiện ra lỗi cú pháp trong phiên bản hiện tại, với một dấu ngoặc đóng thừa ở dòng 81 khiến việc biên dịch bị lỗi.
Tác giả sử dụng một kỹ thuật gọi là NaN-boxing, trong đó thông tin kiểu dữ liệu được lưu trữ trong byte đầu tiên của số thực dấu phẩy động độ chính xác kép. Mặc dù phương pháp này được sử dụng trong các hệ thống production như JavaScript engines và Ruby, việc triển khai trong tinyLisp đã bị chỉ trích vì ưu tiên kích thước hơn tính rõ ràng.
Các vấn đề kỹ thuật đã được xác định:
- Lỗi cú pháp tại dòng 81 (dấu ngoặc đóng thừa)
- Lạm dụng kiểu dữ liệu double cho việc gắn thẻ kiểu
- Các vấn đề phụ thuộc endian
- Vi phạm strict aliasing
- Thiếu tối ưu hóa tail call optimization ( TCO )
- Các vấn đề tương thích với trình biên dịch hiện đại
Sự đánh đổi giữa tính dễ đọc và tính ngắn gọn
Nhiều thành viên cộng đồng đã bày tỏ sự ưa thích code dài hơn, dễ đọc hơn thay vì phương pháp nén. Các triển khai thay thế đã được nhấn mạnh, bao gồm một phiên bản 700 dòng có tên fe ưu tiên tính rõ ràng và cấu trúc tài liệu phù hợp. Sự đồng thuận giữa các nhà phê bình dường như là việc tăng gấp đôi hoặc gấp ba số dòng code sẽ đáng giá nếu nó tạo ra code có thể bảo trì và hiểu được.
Tôi rất thích 200 dòng code thực sự dễ đọc và đẹp hơn.
Các triển khai thay thế:
- fe: Triển khai C rõ ràng 700 dòng với tài liệu hướng dẫn tốt hơn
- Phiên bản Python: ~100 dòng với triển khai lispy.html của Norvig
- tinylisp-extras.c: Phiên bản mở rộng với hỗ trợ TCO
Khả năng kỹ thuật và hạn chế
Bất chấp những chỉ trích, tinyLisp vẫn cung cấp chức năng đáng kể so với kích thước của nó. Trình thông dịch hỗ trợ static scoping, phép toán số thực dấu phẩy động độ chính xác kép, và bao gồm các thao tác Lisp thiết yếu. Tuy nhiên, việc triển khai dường như thiếu tối ưu hóa tail call (TCO), điều này hạn chế khả năng thực thi các hàm đệ quy như Y-combinator mà không có nguy cơ stack overflow.
Dự án bao gồm các phiên bản được tối ưu hóa để cải thiện tốc độ và giảm sử dụng bộ nhớ, và tác giả đã cung cấp các ví dụ mở rộng để thêm các tính năng Lisp bổ sung.
Kết luận
Dự án tinyLisp đóng vai trò như một nghiên cứu trường hợp thú vị trong cuộc tranh luận đang diễn ra giữa các thành tựu code golf và phát triển phần mềm thực tế. Mặc dù thành tựu kỹ thuật triển khai một trình thông dịch Lisp đầy đủ chức năng trong 99 dòng là ấn tượng, phản ứng của cộng đồng cho thấy rằng việc nén cực độ như vậy có thể không đáng với những thách thức về bảo trì và độ tin cậy kết quả. Cuộc thảo luận nhấn mạnh tầm quan trọng của việc cân bằng giữa đổi mới và chất lượng code trong các dự án lập trình thực tế.
Tham khảo: Lisp in 99 lines of C and how to write one yourself