Limbajele de programare demonstrabile în mod formal sunt doar o idee ezoterică de matematică / CS care nu se traduce bine în lumea reală. Pur și simplu nu se scalează pentru codul practic. Realitatea este că, dacă vrei să construiești un ecosistem de dezvoltatori de succes, limbajul tău trebuie să semene mai mult cu JavaScript decât cu Haskell. Acest lucru este valabil mai ales odată cu creșterea LLM-urilor, unde limbile cu mai multe date de antrenament vor continua să-și crească cota de piață. Spun asta ca cineva al cărui limbaj de programare preferat a fost Haskell și care a dezvoltat aceste sisteme end-to-end, de la designul limbajului la compilatoare și chiar rezolvatorii matematici de bază. Ele nu se scalează pentru că rezolvatorii matematici de bază explodează exponențial.