Everything is code nowadays. Infrastructure as code, circuits as code, etc. Maybe the code we write will change overtime, but the practice of rigorously describ

Everything is code nowadays. Infrastructure as code, circuits as code, etc. Maybe the code we write will change overtime, but the practice of rigorously describing things in a formal language will never go away as long as people are doing intellectual work. What is intellectual work anyhow and is it not isomorphic in some respect to writing code? Isn't it about construction? Maybe the functional community, where they talk about equivalences between proofs and programs and amazing things of that sort, has a better grasp on what the future of programming and its rightful place in human endeavors is.