I see a future where we tell the computer, a kind of super-compiler, what we want to achieve. The input is our specification, and the output is a complete and tested system. All we have to do is specify, verify and then push the deploy button.
— Hans-Eric Grönlund, The Extinction of Programmers
Any sufficiently detailed specification language is indistinguishable from source code.
— me
You were supposed to give the person candy.... (Score:1)
Re: (Score:2, Funny)
That's funny. I had forgotten that "It should be possible to translate specifications into defect-free programs automatically" was a full-sentence false cognate with "I like candy". Another fun fact is that "Programming is like construction or (manufacturing)" is a full-sentence false cognate with "I know very little about building software and construction (or manufacturing)."
quite (Score:1)
Tel
been there, heard that... (Score:2)
Re: (Score:1)
I remember translating a program from source code into machine code by hand once, in the '80s, just to see if I could. That magic button is a compiler.
Re: (Score:2)