Các ngôn ngữ lập trình có thể chứng minh một cách chính thức chỉ là một ý tưởng toán học / khoa học máy tính kỳ lạ mà không chuyển giao tốt sang thế giới thực. Chúng đơn giản là không thể mở rộng cho mã thực tiễn. Thực tế là nếu bạn muốn xây dựng một hệ sinh thái nhà phát triển thành công, ngôn ngữ của bạn cần phải giống như JavaScript hơn là Haskell. Điều này đặc biệt đúng với sự gia tăng của LLMs, nơi các ngôn ngữ có nhiều dữ liệu đào tạo hơn sẽ tiếp tục tăng thị phần của chúng. Tôi nói điều này như một người có ngôn ngữ lập trình yêu thích là Haskell và đã phát triển những hệ thống này từ đầu đến cuối, từ thiết kế ngôn ngữ đến trình biên dịch, và thậm chí cả các bộ giải toán cơ bản. Chúng không thể mở rộng vì các bộ giải toán cơ bản phát nổ theo cấp số nhân.