Language Design and Programming Methodology