My original postulate, which I have been pursuing as a scientist all my life, is that one uses the criteria of correctness as a means of converging on a decent programming language design one which doesn’t set traps for its users, and ones in which the different components of the program correspond clearly to different components of its specification, so you can reason compositionally about it. [...] The tools, including the compiler, have to be based on some theory of what it means to write a correct program.
Vyasa is the compiler of the Puranas from age to age; and for this age, he is Krishna-Dvaipayana, the son of Parasara.
I had a running compiler and nobody would touch it. ... they carefully told me, computers could only do arithmetic; they could not do programs.grace hopper
Clearly, one can obfuscate one's ideas with a compiler language but it's harder. To some extent one is talking about what one wants rather than how one wants to do it. The trouble with machine code, of course, is that when you look at a random section of machine code you don't know what properties of the instructions the programmer really wanted to exploit.fernando j. "corby" corbató
Regardless of whether one is dealing with assembly language or compiler language, the number of debugged lines of source code per day is about the same!fernando j. "corby" corbató
Vyasa:literally one who spreads, also known as Veda Vyasa and Krishnadvaipayana, traditionally recognized as the author) as well as protagonist) of the Sanskrit Mahabharata , the Puranas , and Upansishads and the compiler of the Vedas .