Muodollisesti todistettavissa olevat ohjelmointikielet ovat vain esoteerinen matematiikka/tietojenkäsittelyidea, joka ei käänny hyvin todelliseen maailmaan. Ne eivät yksinkertaisesti skaalaudu käytännölliseen koodiin. Tosiasia on, että jos haluat rakentaa menestyvän kehittäjäekosysteemin, kielesi on muistutettava enemmän JavaScriptiä kuin Haskellia. Tämä pätee erityisesti LLM-ohjelmien nousuun, jossa kielet, joilla on enemmän koulutusdataa, kasvattavat markkinaosuuttaan jatkuvasti. Sanon tämän henkilönä, jonka lempiohjelmointikieli oli Haskell ja joka on kehittänyt nämä järjestelmät päästä päähän kielen suunnittelusta kääntäjiin ja jopa taustalla oleviin matematiikan ratkaisijoihin. Ne eivät skaalaudu, koska taustalla olevat matematiikan ratkaisijat räjähtävät eksponentiaalisesti.