Formalnie udowodnione języki programowania to tylko ezoteryczny pomysł z matematyki / informatyki, który nie przekłada się dobrze na rzeczywistość. Po prostu nie skalują się do praktycznego kodu. Rzeczywistość jest taka, że jeśli chcesz zbudować udany ekosystem deweloperów, twój język musi być bardziej podobny do JavaScript niż Haskell. Jest to szczególnie prawdziwe w obliczu wzrostu LLM, gdzie języki z większą ilością danych treningowych będą nadal zwiększać swój udział w rynku. Mówię to jako ktoś, czyim ulubionym językiem programowania był Haskell i kto rozwijał te systemy od początku do końca, od projektowania języka po kompilatory, a nawet podstawowe rozwiązania matematyczne. Nie skalują się, ponieważ podstawowe rozwiązania matematyczne eksplodują wykładniczo.