主要观点：

• 本文探讨编程语言作为技术人工制品，与软件等的区别，强调编程语言的功能不能仅由物理实现定义，存在语义规范及正确性标准。
• 对比自然对象和其他社会建构对象，阐述技术人工制品由功能和结构属性组合界定。
• 指出计算机科学家已做出本体论承诺，如对解释和编译概念的看法等。
• 提出通过观察物理过程背后的意图来区分遵循抽象机器还是构建艺术作品，且编程语言的意义并非在创造者头脑中，而是数学对象，为实际使用需有物理实例，计算机科学兼具数学和技术属性。

关键信息：

• 1960 年 McCarthy 发明 Lisp 但无实现时是否为编程语言的讨论。
• 抽象人工制品与技术人工制品的区别及相关特征。
• 如 Laurence Tratt 文章中对解释和编译概念的复杂探讨及对编程语言本体地位的约束承诺。
• Turner 关于编程语言意义的观点及区分物理过程意图的方法。

重要细节：

• 不同人对软件和编程语言存在标准等问题的直觉不同，如对 UML 图与软件形成的看法。
• CPython 中的 bug 表明语言实现的正确性标准在其自身之外，语义需提供规范标准。
• John Searle 论文中关于任何对象可实现任何编程语言的观点及 Turner 的解决方法。
• 引用 Kripke 的观点说明不能将编程语言的意义归结于创造者头脑。