Types and Programming Languages 短评

  • 11 [已注销] 2013-07-22

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

  • 4 阳广林 2014-08-21

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

  • 1 湜漪 2017-03-16

    上TAPL的时候认认真真把这本书看了一遍,收获很多,而且课程拿了 A+开心~

  • 0 Tomato 2016-02-29

    跳过了各种证明 ...

  • 3 jerryzou 2015-06-15

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

  • 0 顾遇绸缪 2006-05-24

    textbook

  • 1 Duke 2019-05-21

    得做proof啊!不做proof怎么可能懂 哭泣 STLC的strong normalization 书里一下就过去了 这书在不同的知识储备下看感觉是完全不一样的。。。

  • 0 daydaygo 2018-11-20

    - [Types and Programming Languages](https://www.cis.upenn.edu/~bcpierce/tapl/): A type system is a syntactic method for enforcing levels of abstraction in programs

  • 0 海生 2017-12-16

    内容很全很丰富,还要多刷几次!

  • 0 songtianyi 2018-06-14

    看目录就好。。。

  • 0 otakugeek 2014-04-17

    基本以定理证明为主. 看完也基本忘光了

  • 0 洋芋吃洋芋 2014-08-24

    前面比较啰嗦

  • 0 流光 2018-07-28

    起初是没有太明白书中的内容的。即使是拥有Haskell的基础,在研读时仍有各种疑惑,对于证明习题也是充满了恐惧和不知如何开始。 最感谢的莫过于OPLSS 2018的pre-session,在上课的过程中不知不觉建立了对于各项type rules的直观理解,在其后再次回顾这本书各项内容都变得简单易懂。但有趣的是,虽然Computational Type Theory被Bob Harper称为最符合直觉的,在最后一周的讲座中基本没有听懂其内容。 但也正是通过在OPLSS和其他在读PhD的交流中,意识到了安定的研究生活其实不为我所想要,CS这一学科也至多只是个人的爱好而已。虽然现在依然未明确生活目标,但CS终将也只是达成目标的过程而不是最终的结果吧。接下来一年的学习方向会转向经济和程序分析。

  • 0 David Frank 2009-06-24

    始终没读懂的一本书

  • 0 [已注销] 2009-09-24

    介绍programming languages,抽象,难懂,但很有意思

  • 0 maxkibble 2017-06-12

    北大本研合上课程「编程语言的设计原理」教材 好课一门 书本身实在是太厚了。。

  • 0 lkymlf598 2015-07-27

    书是挺好的,但是越来越读不懂了(2015/3-2015/7)

  • 第一页
  • 前一页
  • 后一页