很一般的

此书很一般的。如果要深入研究类型论（计算机软件科学里面的类型论），国内其实也有人做的研究很好，很深入，不过写得比较艰深而已。此书不值得看的。

国内这种教材太多，其实是不利于人才培养的。很多时候只是名头而已。