鲍勃哈珀CMU的，最近开始了一个博客，名为存在类型，关于编程语言。他是编程语言领域的顶尖专家。我记得我第一次听到他讲话时深受鼓舞。我是CMU的应届研究生，他介绍了CMU的编程语言人员所做的工作。他的帖子读起来很有趣，毫无保留，很有教育意义。强烈推荐！
andrejbauer@mathstodon.xyz