Bahasa pemrograman yang dapat dibuktikan secara formal hanyalah ide Matematika / CS esoteris yang tidak diterjemahkan dengan baik ke dunia nyata. Mereka sama sekali tidak menskalakan untuk kode praktis. Kenyataannya adalah bahwa jika Anda ingin membangun ekosistem pengembang yang sukses, bahasa Anda harus lebih seperti JavaScript daripada Haskell. Hal ini terutama berlaku dengan munculnya LLM, di mana bahasa dengan lebih banyak data pelatihan akan terus meningkatkan pangsa pasar mereka. Saya mengatakan ini sebagai seseorang yang bahasa pemrograman favoritnya adalah Haskell dan yang telah mengembangkan sistem ini secara end-to-end, dari desain bahasa hingga kompiler, dan bahkan pemecah matematika yang mendasarinya. Mereka tidak menskalakan karena pemecah matematika yang mendasarinya meledak secara eksponensial.