Comment by lanthissa

the flip side of that, right now ai coding agents try to generate code, not software.

it seems semi intuitive to me that a typesafe, functional programming language with referential transparency would be ideal if you could decompose a program to small components and code those.

once you have a referentially transparent function with input/out tests you can spin on that forever until its solved and then be sure that it works.