Types and Programming Languages•短评

0 lkymlf598 2015-07-27

书是挺好的，但是越来越读不懂了(2015/3-2015/7)
0 [已注销] 2009-09-24

介绍programming languages，抽象，难懂，但很有意思
0 David Frank 2009-06-24

始终没读懂的一本书
0 洋芋吃洋芋 2014-08-24

前面比较啰嗦
2 jerryzou 2015-06-15

比较难理解的一本理论书。但稍有感悟之后，再看回头这些茫茫多的程序语言的设计思想还是别有一番滋味！
0 otakugeek 2014-04-17

基本以定理证明为主. 看完也基本忘光了
0 湜漪 2017-03-16

上TAPL的时候认认真真把这本书看了一遍，收获很多，而且课程拿了 A+开心～
0 顾遇绸缪 2006-05-24

textbook
0 Tomato 2016-02-29

跳过了各种证明 ...
2 阳广林 2014-08-21

13/5/2 pdf英文+实体中文对照虽然还剩十章没看, 虽然看到recursive types, algorithm W的时候已经雾里云中, 但是在读了一年, 而且感觉接下来不会读了, 虚荣心致使我还是标记为"已读"吧... 书是好书
3 宾州星际哥 2013-07-22

如果是入门的话我推荐这个： http://lucacardelli.name/papers/typesystems.pdf 类型系统身为一个formal system,应该是计算机领域里最漂亮的东西之一了，不过想要搞明白需要反复的看