A good programming language is a conceptual universe for thinking about programming.