(整活儿系列) 推荐一本书 <<Introduction to That Thing>> 第二版! 这本书是数学没毕业丛书的重要组成部分! 这本书会像知道的人介绍已经知道了的知…

今天在推特碰巧看到张汉东老师在看本书, 于是我也跟风看了一眼. 这本书虽然对于类型系统和数学定义解释的没有诸如 TAPL 之类的详细, 但是确实书中的一些模型和观点都非常符合近几年编程语言普遍的演化方…