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