When people think of choosing a computer language, they probably pick one of the well-known, general-purpose procedural languages taught in schools, such as C, Java, or Python. But these regular ...