Beautiful code - circularity and anti-foundation axiom
T. Venu Gopal · International Journal of Computational Systems Engineering · 2016
Computing is essentially a combination of theoretical, scientific, and engineering traditions. Programming is a process of mapping the computing problem into a form that can be executed on an automaton. The resulting software implementations are representations (models) of real-world conceptual systems. The engineering processes move a concept from the realm of actions (concepts) to the realm of representations (technology). Modelling the application in terms of well-defined structures and algorithms' is the most important step towards evolving a solution. It is becoming increasingly difficult to decide on a correct solution while building complex evolving software. This paper demonstrates 'literate programming' and 'software aesthetics' as two best practices that may result in deciding early the beautiful solutions that can be verified and validated.