A brief history of programming languages