AI làm thay đổi tốc độ phát triển DUY ngay từ ngày đầu tiên. Nó có thể đọc tài liệu, dựng các khung thử nghiệm (fixtures), so sánh thiết kế và viết ra một lượng code khổng lồ mà trước đây cần cả một đội ngũ ngồi làm việc nhiều tuần. Phủ nhận sức mạnh đó cũng ngây thơ giống như việc tin tưởng tuyệt đối vào nó.
LLM làm việc dựa trên xác suất. Compiler làm việc dựa trên hợp đồng logic.
Một mô hình AI có thể viết ra một đoạn hàm trông cực kỳ hợp lý nhưng lại quên mất một nhánh xử lý lỗi quan trọng, sử dụng một giá trị sau khi nó đã bị di chuyển (move), hoặc tự tin khẳng định một sprint đã hoàn thành vì thấy các mục tiêu đã được đánh dấu tích. Nó không nói dối theo nghĩa đạo đức; nó chỉ đang hoàn thành xuất sắc nhiệm vụ sinh văn bản dựa trên xác suất thống kê.
Trình biên dịch thì kém duyên hơn nhiều. Kiểu dữ liệu không khớp là không khớp. IR vi phạm ràng buộc (invariant) là lập tức dừng biên dịch. Ca kiểm thử ra kết quả 41 thay vì 42 là báo đỏ ngay lập tức, dù phần giải thích lỗi của AI trước đó có truyền cảm hứng đến đâu đi chăng nữa.
Từ đó hình thành một nguyên tắc vận hành cốt lõi trong dự án DUY:
LLM đề xuất phương án.
Trình biên dịch kiểm tra tính hợp lệ.
Hệ thống Tests xác nhận hành vi.
Benchmark quyết định hiệu năng thực tế.
Con người chịu trách nhiệm thiết kế hệ thống.
Điểm mấu chốt không phải là hạn chế sức mạnh của AI, mà là cung cấp cho AI một mặt đất logic cứng cáp để nó có thể chạy nhanh mà không sợ vấp ngã. Ngữ nghĩa ngôn ngữ càng rõ ràng, các công cụ AI càng ít phải phỏng đoán. Các thông báo lỗi (diagnostics) càng có cấu trúc chặt chẽ, các trợ lý AI càng dễ phân tích để sửa lỗi đúng đích. AST, type context và IR càng mở, AI càng có cơ hội cộng tác sâu với compiler thay vì chỉ nhìn vào chuỗi text thô rồi đoán mò.
Vì thế, DUY không phải là "ngôn ngữ do AI tự viết". Nó là một thí nghiệm thực tế về ngôn ngữ lập trình trong thời đại AI hỗ trợ phát triển: tận dụng tốc độ của các mô hình học máy, nhưng kiên quyết chuyển giao quyền phán quyết cuối cùng về cho các hệ thống deterministic xác thực logic.
AI giúp chúng tôi đi nhanh. Nhưng chính những lần AI tạo ra cực kỳ nhanh một đoạn code gần đúng lại dạy cho chúng tôi hiểu rõ rằng ngôn ngữ lập trình hệ thống cần một lõi ngữ nghĩa nghiêm khắc đến mức nào.
Bình luận (0)
Đang tải bình luận...