Python đã "chết": Khi ngôn ngữ này không còn dành cho AI

Python đã "chết": Khi ngôn ngữ này không còn dành cho AI

Môi trường lập trình hiện đại

Tiêu đề này nghe có vẻ như một chiêu trò câu view, nhưng nó thực sự là một cái nhìn sâu sắc về tương lai của lập trình trong kỷ nguyên trí tuệ nhân tạo. Tháng trước, tôi đã viết một công cụ phân tích mã độc động bằng Rust với khoảng 20.000 dòng code. Quản lý tiến trình, đa luồng, quản lý bộ nhớ — toàn bộ chồng công nghệ. Vấn đề là tôi không biết Rust.

Tôi đã sử dụng các tác nhân AI (AI agents), điều mà bạn có thể đã đoán được. Nhưng điều bạn có thể không ngờ là: việc này còn dễ hơn cả viết Python. Tôi viết code bằng Python với sự hỗ trợ của AI hàng ngày, và đó là một cuộc chiến liên tục. Tôi phải quản lý kiểu dữ liệu vì ngôn ngữ này không làm việc đó, phải nhắc AI về các trường hợp ngoại lệ mà nó đã quên, và phải săn lùng các lỗi ẩn chỉ hiện ra khi chạy chương trình. Về cơ bản, tôi đang đóng vai trò là compiler mà Python không có.

Với Rust, compiler thực sự đã làm công việc "trông trẻ" đó. AI có thể viết code hơi lỏng lẻo, nhưng ngôn ngữ sẽ không cho phép những sai sót đó được triển khai. Tôi dành thời gian cho kiến trúc và thiết kế thay vì chơi trò đập chuột với các giá trị None hay sự không khớp kiểu dữ liệu âm thầm.

Lý do tôi dùng Python trong một thập kỷ qua không phải vì nó là một ngôn ngữ tuyệt vời, mà vì nó dung túng cho những giới hạn của con người — những giới hạn mà giờ đây tôi đã chuyển giao cho AI.

Sự đánh đổi của thời kỳ cũ

Python đã đưa ra những sự đánh đổi hoàn toàn hợp lý khi con người là người viết code. Nhưng đó là chuyện của quá khứ, của "thời kỳ trước" (khoảng 2-3 tháng trước).

Màn hình code và AI

Python làm cho việc định kiểu (typing) trở nên tùy chọn, vì con người sẽ bỏ cuộc nếu phải đấu tranh với TypeVar và Protocol cho một bản mẫu sẽ viết lại trong một tuần. Điều này dẫn đến các loại lỗi có thể bị bắt bởi kiểm tra kiểu lại bị khách hàng phát hiện trên môi trường sản xuất (production). Python là ngôn ngữ thông dịch vì con người muốn thay đổi một dòng và thấy kết quả ngay lập tức. Chi phí là code chạy chậm hơn C từ 10 đến 100 lần và các lớp lỗi ẩn mình cho đến khi dòng code đó thực thi.

Cộng đồng Python biết rằng hóa đơn sẽ đến cuối cùng. Đó là lý do họ dành thập kỷ qua để cố gắng gắn lại các tính năng an toàn: type hints, mypy, Pydantic, runtime type checking... Họ đang trang bị lại các đảm bảo mà nhà thiết kế Python đã loại bỏ 30 năm trước. Khi bạn dành một thập kỷ để thêm lại những gì bạn đã loại bỏ, thì việc loại bỏ ban đầu là một sự đánh đổi, không phải một tính năng.

Vấn đề là lập trình viên mà Python được thiết kế để phục vụ vừa mới bị thay thế.

Một loài lập trình viên khác

Hãy tưởng tượng bạn vận hành một nhà máy và thay thế toàn bộ nhân lực bằng robot qua đêm. Robot không vấp ngã, không mệt mỏi, không kéo cần sai, và có thể lưu toàn bộ sổ hướng dẫn vận hành trong bộ nhớ. Python chính là nhà máy được xây dựng cho con người, nhưng công nhân đã thay đổi.

Con người có thể giữ khoảng bảy thứ trong bộ nhớ làm việc, đó là lý do Python cho phép bạn bỏ qua chú thích kiểu. AI agents có thể giữ toàn bộ codebase trong ngữ cảnh, mọi kiểu dữ liệu, mọi chữ ký hàm cùng một lúc. Yêu cầu họ chú thích kiểu giống như yêu cầu robot đọc tấm biển cảnh báo mà nó không cần.

Rust nổi tiếng với việc từ chối code của bạn 47 lần trước khi bạn chú thích lifetime đúng cách. Con người cảm thấy việc này nản lòng. Nhưng bạn có thể từ chối code của AI một nghìn lần và nó sẽ vui vẻ viết lại mà không phàn nàn về văn hóa compiler độc hại.

Ngôn ngữ lập trình là chính sách nhân sự

Khi bạn chọn một ngôn ngữ lập trình cho dự án, bạn không đang đưa ra một quyết định công nghệ. Bạn đang thiết lập chính sách nhân sự cho lực lượng lao động của mình.

Chính sách của Python nói rằng: thuê bất kỳ ai, yêu cầu đào tạo tối thiểu, chấp nhận tỷ lệ lỗi cao, bắt vấn đề trong production và di chuyển nhanh. Đây là nhân sự của startup. Chính sách của Rust nói rằng: đầu tư vào đào tạo, yêu cầu tỷ lệ lỗi gần như bằng không, bắt vấn đề trước khi triển khai và xây dựng thứ một lần đúng ngay. Đây là nhân sự của hàng không vũ trụ.

Khi con người là lực lượng lao động, chính sách của Python có ý nghĩa với phần mềm. AI lật ngược cả hai vế của phương trình. Chi phí lao động giảm xuống gần bằng không trong khi chi phí của sai lầm vẫn giữ nguyên. Một sự cố production vẫn làm mất khách hàng, lỗ hổng bảo mật vẫn làm mất uy tín. Khi lao động rẻ và sai lầm đắt, chính sách hợp lý là buộc người lao động phải chứng minh tính đúng đắn ngay từ đầu.

Tương lai của AI và lập trình

Tương lai kỳ lạ của ngôn ngữ lập trình

Bức tranh dài hạn còn kỳ lạ hơn, vì Rust vẫn là ngôn ngữ được xây dựng cho đôi bàn tay con người. Một ngôn ngữ được thiết kế cho AI sẽ trông không giống Rust hay Python chút nào.

Lập trình bắt đầu gần với máy móc. Assembly dày đặc, hiệu quả và thù địch với người đọc. Chúng ta đã dành 50 năm để leo lên thang trừu tượng, đánh đổi hiệu quả máy móc để lấy khả năng đọc của con người. Bây giờ người đọc không còn là con người nữa. Chúng ta đang leo xuống.

Có nghiên cứu gần đây cho thấy tiếng Trung hiệu quả hơn tiếng Anh đối với các mô hình ngôn ngữ lớn (LLM) vì tiếng Hán đóng gói nhiều ý nghĩa hơn mỗi token. Một ngôn ngữ ưu tiên AI sẽ tối ưu hóa theo các trục chưa từng quan trọng khi con người đọc và viết code:

• Mật độ token: Mọi tên biến có thể là một ký tự glyph, mọi cấu trúc cú pháp phức tạp là một ký tự đơn. AI có thể chú ý đến nhiều code hơn trong cùng một cửa sổ ngữ cảnh.
• Tính xác minh hình thức: Vượt qua kiểm tra kiểu để đạt được bằng chứng tại thời điểm biên dịch. Compiler chứng minh hàm của bạn kết thúc, bộ nhớ được giải phóng và các bất biến được giữ.
• Thực thi song song gốc: Mọi thao tác được giả định là đồng thời trừ khi được sắp xếp rõ ràng. AI không bị giới hạn bởi tư duy tuần tự như con người.

Trục cuối cùng đó là thứ khiến bạn không thoải mái, vì nó có nghĩa là code mà con người gần như không thể đọc được. Các ngôn ngữ mà con người là công dân hạng hai về khả năng hiểu. Toàn bộ phong trào thủ công phần mềm, mọi "thực hành tốt nhất" về đặt tên sạch và hàm nhỏ, là công thái học nhận thức cho người đọc. Máy tiện CNC không cần tay cầm công thái học.

Python là một câu trả lời xuất sắc cho một vấn đề thực sự: con người chậm chạp, hay quên và thiếu kiên nhẫn. Nó không phải là Python tồi đi, mà là điểm nghẽn mà Python được thiết kế để giải quyết vừa được nâng cấp.