豆瓣
扫码直接下载
看完以后我也有资格舔男神垠的脚了!
电子档
读完了24章,existential types
基础,非常有意思。
刚看到untyped lambda演算,回头瞄了一眼前言,发现作者推荐了plp和eopl,plp已经看过了,eopl准备去看 路线清清楚楚,就有种in control的感觉,我这种菜鸡有此种感觉还真不容易啊。。。
不得不拾起来重读的书啊
中文版
到今天读完两个parts,从最简单的arithmetic expression和lambda calculus开始,一点一点扩展,包括type system和功能性扩展,每次扩展时都通过完整的规则和证明保证语言的safety。对于非plt researchers来说,对safety的formal proof可以帮助我们在使用语言时完整的思考。 (持续更新lol
以实践的角度来说确实不必要读,不过是可以帮助理清很多概念,对于语言特性的讨论有些帮助。
今天上pl讲理论,绝大部分人感受"卧槽这什么鬼",哈哈哈哈,你们终于体会到了code is cheap, show me proof的痛苦了吧
上学时囫囵吞了几章... 看来需要捡一捡。此书提升了我的吹水能力
> Types and Programming Languages
0 有用 宗桑.阿尔-盖布 2013-06-20 21:13:09
看完以后我也有资格舔男神垠的脚了!
0 有用 r2g2 2010-06-01 22:41:27
电子档
0 有用 thy某田 2022-03-27 13:05:56
读完了24章,existential types
0 有用 ≈非主流☆ 2022-10-07 01:03:13 北京
基础,非常有意思。
0 有用 SakamataZ 2022-07-31 14:29:29
刚看到untyped lambda演算,回头瞄了一眼前言,发现作者推荐了plp和eopl,plp已经看过了,eopl准备去看 路线清清楚楚,就有种in control的感觉,我这种菜鸡有此种感觉还真不容易啊。。。
0 有用 郭郭要变更强大 2013-06-25 19:10:10
不得不拾起来重读的书啊
0 有用 曹操不吃饭 2024-03-30 11:18:28 日本
中文版
0 有用 Brandon’s 2018-01-21 06:24:59
到今天读完两个parts,从最简单的arithmetic expression和lambda calculus开始,一点一点扩展,包括type system和功能性扩展,每次扩展时都通过完整的规则和证明保证语言的safety。对于非plt researchers来说,对safety的formal proof可以帮助我们在使用语言时完整的思考。 (持续更新lol
0 有用 ZhenLi 2018-02-07 16:54:05
以实践的角度来说确实不必要读,不过是可以帮助理清很多概念,对于语言特性的讨论有些帮助。
0 有用 LLLL 2015-03-06 17:06:17
今天上pl讲理论,绝大部分人感受"卧槽这什么鬼",哈哈哈哈,你们终于体会到了code is cheap, show me proof的痛苦了吧
0 有用 VictoryZhCN 2018-09-17 14:09:37
上学时囫囵吞了几章... 看来需要捡一捡。此书提升了我的吹水能力