作者:
Benjamin C. Pierce
出版社: The MIT Press
出版年: 2002-2-1
页数: 645
定价: USD 95.00
装帧: Hardcover
ISBN: 9780262162098
出版社: The MIT Press
出版年: 2002-2-1
页数: 645
定价: USD 95.00
装帧: Hardcover
ISBN: 9780262162098
这本书的其他版本 · · · · · · ( 全部3 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 语言、思维与智能 (pem)
- 易筋经 (roy_hu)
- learn about computer science (paranoid.emacs)
- Programming Language (Kitorinix)
- 未来的书架-epsilon (Stan)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有1163人想读,手里有一本闲着?
订阅关于Types and Programming Languages的评论:
feed: rss 2.0
1 有用 92487385193 2020-08-25 00:18:21
PL的经典入门书,打开了新世界的大门
0 有用 海生 2017-12-16 08:44:32
内容很全很丰富,还要多刷几次!
1 有用 顾遇绸缪 2006-05-24 14:37:58
textbook
3 有用 流光 2018-07-28 13:23:50
起初是没有太明白书中的内容的。即使是拥有Haskell的基础,在研读时仍有各种疑惑,对于证明习题也是充满了恐惧和不知如何开始。 最感谢的莫过于OPLSS 2018的pre-session,在上课的过程中不知不觉建立了对于各项type rules的直观理解,在其后再次回顾这本书各项内容都变得简单易懂。但有趣的是,虽然Computational Type Theory被Bob Harper称为最符合直... 起初是没有太明白书中的内容的。即使是拥有Haskell的基础,在研读时仍有各种疑惑,对于证明习题也是充满了恐惧和不知如何开始。 最感谢的莫过于OPLSS 2018的pre-session,在上课的过程中不知不觉建立了对于各项type rules的直观理解,在其后再次回顾这本书各项内容都变得简单易懂。但有趣的是,虽然Computational Type Theory被Bob Harper称为最符合直觉的,在最后一周的讲座中基本没有听懂其内容。 但也正是通过在OPLSS和其他在读PhD的交流中,意识到了安定的研究生活其实不为我所想要,CS这一学科也至多只是个人的爱好而已。虽然现在依然未明确生活目标,但CS终将也只是达成目标的过程而不是最终的结果吧。接下来一年的学习方向会转向经济和程序分析。 (展开)
0 有用 洋芋吃洋芋 2014-08-24 17:06:12
前面比较啰嗦
0 有用 老C 2023-10-21 11:08:41 广东
从2023年4月份看到10月份,半年的时间看了第一遍看到了子类型这部分,暂时不打算继续往下看,等时间消化这部分内容,后面再接着看。
0 有用 CHUN 2022-11-03 20:14:08 上海
看到了subtype,看不下去了。┭┮﹏┭┮
0 有用 233 2022-07-30 11:35:09
马马虎虎看完。有点难
0 有用 das Seyn 2022-05-04 06:49:10
上初中的时候,我还想着以后学 CS 研究 PLT 呢。幸亏没来学,不然肯定找不着工作。 书绝对是好书。
0 有用 后火Backfire 2022-03-10 19:52:39
somewhat implicit type system