A simple programming language
Richard Bornat · 2005
Abstract Real-world programming languages are complicated, partly because they are designed to support much more than the basic description of machine activity. Modern languages ease the task of maintaining programs, using libraries, explaining programs to managers, and lots more. They have features — variable typing, for example — which are designed to help you avoid simple programming mistakes.