文件名称：Culture of Programming
文件大小：935KB
文件格式：PDF
更新时间：2023-09-05 03:04:41
Programming Lang
Programming language research does not exist in isolation. Many programming languages are designed to address a particular business problem or as a reflection of more wide-ranging shifts in the computing community. Histories of individual programming languages often take their own contexts for granted, which makes it difficult to connect the dots and understand the history of programming in a holistic way. This paper documents the broader socio-technological context that shapes programming languages. To structure our discussion, we introduce the idea of a culture of programming which embodies a particular perspective on programming. We identify four major cultures: hacker culture, engineering culture, managerial culture and mathematical culture. To understand how the cultures interact and influence the design of programming languages, we look at a number of historical strands in four lectures that comprise this paper. We follow the mathematization of programming, the development of types, discussion on fundamental limits of complex software systems and the methods that help make modern software acceptably reliable.