主要观点：这是系列的最后一篇，作者表示每天找时间阅读和总结论文很困难，找符合自己心情的论文最难，虽努力读新论文但仍有未读完的。Tomas Petricek 反对给“类型”一个通用定义，认为不这样能让概念扩展，通过历史科学支持此观点，还展示了在无明确定义情况下对待类型的方式，作者认为应选择非单一正式定义的方式对待类型，同时指出编程中其他概念如抽象也缺乏通用定义且应有更好定义，认为类型背后应有某种（非形式的）统一核心。
关键信息：作者每天找时间读论文困难，Petricek 观点及相关论述，不同对待类型方式，抽象概念及相关思考。
重要细节：从罗素理论到现代类型使用的演变，Petricek 观点的具体内容及举例，作者对抽象的思考等。