Heedless programming: ignoring detectable error is a widespread hazard

摘要

Software should be correct and robust. This paper suggests that we need forthright words for the failure of not being robust-heedless and heedlessness-and of recursively creating software (such as a compiler or virtual machine) that itself does not support dependable software development. Heedless programming is common, particularly affecting 'trivial' operations such as on numbers, and extends deep into programming language design and into the use of computers more widely, thus making robust, dependable applications of all sorts unnecessarily problematic. The paper defines the problem and presents a call to action to start addressing the problems identified.