豆瓣
扫码直接下载
没有废话，全程无尿点。偶尔讲个例子还都是 modularity, polymorphism, recursive type 这种不太直观，非讲不可的
Robert Harper 真是惜字如金的典范，能用数学公式表达出来的东西就绝不给你举例子……（其实这本书就读了一半，但容我假装一下）
补标
句句精辟，一针见血
非常硬核的pl入门(keng)书，这标题也是有点搞笑，书里的东西一点也不practical....太难了
> Practical Foundations for Programming Languages
2 有用 悟道洞穴人 2017-05-08 10:42:36
没有废话，全程无尿点。偶尔讲个例子还都是 modularity, polymorphism, recursive type 这种不太直观，非讲不可的
4 有用 梦里醉逍遥 2017-02-20 13:35:36
Robert Harper 真是惜字如金的典范，能用数学公式表达出来的东西就绝不给你举例子……（其实这本书就读了一半，但容我假装一下）
0 有用 Duke 2020-10-21 23:41:09
补标
0 有用 rock-A-fella 2017-05-09 10:21:34
句句精辟，一针见血
3 有用 nomadmonad 2019-08-03 21:50:11
非常硬核的pl入门(keng)书，这标题也是有点搞笑，书里的东西一点也不practical....太难了