豆瓣
扫码直接下载
13/5/2 pdf英文+实体中文对照 虽然还剩十章没看, 虽然看到recursive types, algorithm W的时候已经雾里云中, 但是在读了一年, 而且感觉接下来不会读了, 虚荣心致使我还是标记为"已读"吧... 书是好书
上TAPL的时候认认真真把这本书看了一遍,收获很多,而且课程拿了 A+开心~
跳过了各种证明 ...
比较难理解的一本理论书。但稍有感悟之后,再看回头这些茫茫多的程序语言的设计思想还是别有一番滋味!
textbook
得做proof啊!不做proof怎么可能懂 哭泣 STLC的strong normalization 书里一下就过去了 在不同的知识储备下看感觉是完全不一样的。。。
somewhat implicit type system
看到了subtype,看不下去了。┭┮﹏┭┮
上初中的时候,我还想着以后学 CS 研究 PLT 呢。幸亏没来学,不然肯定找不着工作。 书绝对是好书。
从2023年4月份看到10月份,半年的时间看了第一遍看到了子类型这部分,暂时不打算继续往下看,等时间消化这部分内容,后面再接着看。
看目录就好。。。
内容很全很丰富,还要多刷几次!
基本以定理证明为主. 看完也基本忘光了
数理逻辑回炉重造 😔
马马虎虎看完。有点难
前面比较啰嗦
起初是没有太明白书中的内容的。即使是拥有Haskell的基础,在研读时仍有各种疑惑,对于证明习题也是充满了恐惧和不知如何开始。 最感谢的莫过于OPLSS 2018的pre-session,在上课的过程中不知不觉建立了对于各项type rules的直观理解,在其后再次回顾这本书各项内容都变得简单易懂。但有趣的是,虽然Computational Type Theory被Bob Harper称为最符合直觉的,在最后一周的讲座中基本没有听懂其内容。 但也正是通过在OPLSS和其他在读PhD的交流中,意识到了安定的研究生活其实不为我所想要,CS这一学科也至多只是个人的爱好而已。虽然现在依然未明确生活目标,但CS终将也只是达成目标的过程而不是最终的结果吧。接下来一年的学习方向会转向经济和程序分析。
始终没读懂的一本书
PL的经典入门书,打开了新世界的大门
在皮尔斯荣膺 SIGPLAN 杰出教育奖之际,我终于把 TAPL 读完了。全书从 STLC 一直讲到了 F-omega-sub,中间还通过余归纳讲解了递归类型,基本上覆盖了依值类型之外的常见类型论,而且元理论上的性质几乎都附有纸笔证明。皮尔斯对 OOP 也是真爱,引入子类型之后有整整四章做对象建模的案例分析。
> Types and Programming Languages
5 有用 阳广林 2014-08-21 17:25:10
13/5/2 pdf英文+实体中文对照 虽然还剩十章没看, 虽然看到recursive types, algorithm W的时候已经雾里云中, 但是在读了一年, 而且感觉接下来不会读了, 虚荣心致使我还是标记为"已读"吧... 书是好书
2 有用 湜漪 2017-03-16 10:44:30
上TAPL的时候认认真真把这本书看了一遍,收获很多,而且课程拿了 A+开心~
1 有用 Tomato 2016-02-29 19:07:51
跳过了各种证明 ...
7 有用 jerryzou 2015-06-15 14:05:23
比较难理解的一本理论书。但稍有感悟之后,再看回头这些茫茫多的程序语言的设计思想还是别有一番滋味!
1 有用 顾遇绸缪 2006-05-24 14:37:58
textbook
2 有用 Duke 2019-05-21 00:35:19
得做proof啊!不做proof怎么可能懂 哭泣 STLC的strong normalization 书里一下就过去了 在不同的知识储备下看感觉是完全不一样的。。。
0 有用 后火Backfire 2022-03-10 19:52:39
somewhat implicit type system
0 有用 CHUN 2022-11-03 20:14:08 上海
看到了subtype,看不下去了。┭┮﹏┭┮
0 有用 逗友 2022-05-04 06:49:10
上初中的时候,我还想着以后学 CS 研究 PLT 呢。幸亏没来学,不然肯定找不着工作。 书绝对是好书。
0 有用 老C 2023-10-21 11:08:41 广东
从2023年4月份看到10月份,半年的时间看了第一遍看到了子类型这部分,暂时不打算继续往下看,等时间消化这部分内容,后面再接着看。
0 有用 songtianyi 2018-06-14 12:04:49
看目录就好。。。
0 有用 海生 2017-12-16 08:44:32
内容很全很丰富,还要多刷几次!
0 有用 otakugeek 2014-04-17 12:15:05
基本以定理证明为主. 看完也基本忘光了
0 有用 啊呜呜啊 2020-11-15 10:46:40
数理逻辑回炉重造 😔
0 有用 233 2022-07-30 11:35:09
马马虎虎看完。有点难
0 有用 洋芋吃洋芋 2014-08-24 17:06:12
前面比较啰嗦
3 有用 流光 2018-07-28 13:23:50
起初是没有太明白书中的内容的。即使是拥有Haskell的基础,在研读时仍有各种疑惑,对于证明习题也是充满了恐惧和不知如何开始。 最感谢的莫过于OPLSS 2018的pre-session,在上课的过程中不知不觉建立了对于各项type rules的直观理解,在其后再次回顾这本书各项内容都变得简单易懂。但有趣的是,虽然Computational Type Theory被Bob Harper称为最符合直觉的,在最后一周的讲座中基本没有听懂其内容。 但也正是通过在OPLSS和其他在读PhD的交流中,意识到了安定的研究生活其实不为我所想要,CS这一学科也至多只是个人的爱好而已。虽然现在依然未明确生活目标,但CS终将也只是达成目标的过程而不是最终的结果吧。接下来一年的学习方向会转向经济和程序分析。
0 有用 David Frank 2009-06-24 04:13:20
始终没读懂的一本书
1 有用 92487385193 2020-08-25 00:18:21
PL的经典入门书,打开了新世界的大门
1 有用 𝕾𝖚𝖓 2021-07-28 13:47:37
在皮尔斯荣膺 SIGPLAN 杰出教育奖之际,我终于把 TAPL 读完了。全书从 STLC 一直讲到了 F-omega-sub,中间还通过余归纳讲解了递归类型,基本上覆盖了依值类型之外的常见类型论,而且元理论上的性质几乎都附有纸笔证明。皮尔斯对 OOP 也是真爱,引入子类型之后有整整四章做对象建模的案例分析。