主要观点：

• 编程语言理论（PLT）是计算机科学中喜爱的领域但易被外人误解。
• PLT 处于纯理论与实际应用的交集，充满美好构造和伟大想法，但外界认为其神秘、困难、无用且不实际。

关键信息：

• 问题 1：理论与应用的差异，纯理论工作常被称有实际应用但有时只是用于证明其他定理，对软件工程师来说理解困难。
• 问题 2：需借助大量未完全构建的工具，每个发展和证明都近乎从零开始，研究多在技术和方法层面相互影响。
• 问题 3：抽象层次高，虽强大但会损失直观性，新入门者较难理解。
• 问题 4：PLT 本身难度大，语言微小变化可能影响依赖属性，设计空间大探索成本高。

重要细节：

• 以阅读《The Lambda Calculus. Its Syntax and Semantics》为例，软件工程师难以从中获取与自身经验相关的见解。
• PLT 研究不像其他数学分支有“桥梁”定理，多是适应和修改证明方法。
• 抽象方法虽强大但会增加学习曲线，实现功能时不用抽象会更易。
• 可通过诚实告知动机、创建入门材料、保持定理证明简单等方式改善。