此书很一般的。如果要深入研究类型论(计算机软件科学里面的类型论),国内其实也有人做的研究很好,很深入,不过写得比较艰深而已。此书不值得看的。国内这种教材太多,其实是不利于人才培养的。很多时候只是名头而已。...