This post is part of the series Programming Theories, in which we discuss new and old ways of programming. When discussing the design of programming languages or the extension of existing ones, the question What concepts can simplify the tasks of…