在读"Types and Programming Languages"的豆瓣成员

76人参与评价  · · · · · ·

9.1

力荐
64.5%
推荐
30.3%
还行
3.9%
较差
1.3%
很差
0.0%

每周参与评价的人数(最近3个月内)

AperSpike

2019-07-08      tags: 类型系统 编程语言

jordamol

2019-05-14

VictoryZhCN

2018-09-17      tags: 计算机科学 类型系统

上学时囫囵吞了几章... 看来需要捡一捡。此书提升了我的吹水能力

KarlOnthemoon

2018-08-13      tags: Programming Theory 编程语言 PL 计算机 计算机科学 类型系统 Language 编程

会飞的猪

2018-06-12

yjhmelody

2018-12-01      tags: PL

安若好

2018-02-19      tags: 计算机

ZhenLi

2018-02-07      tags: 计算机 PL

以实践的角度来说确实不必要读,不过是可以帮助理清很多概念,对于语言特性的讨论有些帮助。

metaphia

2018-02-03

Brandon’s

2018-01-21      tags: 计算机科学 PL

到今天读完两个parts,从最简单的arithmetic expression和lambda calculus开始,一点一点扩展,包括type system和功能性扩展,每次扩展时都通过完整的规则和证明保证语言的safety。对于非plt researchers来说,对safety的formal proof可以帮助我们在使用语言时完整的思考。 (持续更新lol

碧落繁星

2017-08-06

李锋

2017-03-05      tags: Theory

whst

2017-03-04      tags: PL 计算机科学

NNDD

2017-01-03

qdsxinyee

2016-10-27

左侧肋骨下隐痛

2017-12-16

[已注销]

2016-05-01      tags: TypeTheory PL

野猿疯之助

2017-06-09      tags: programming 类型系统 Theory PL Language

NightWish

2016-03-02      tags: 编程语言

小小小罗

2015-12-30      tags: programming 计算机科学 编程语言 类型系统 Theory PL 计算机 编程 Language

Types and Programming Languages
作者: Benjamin C. Pierce
isbn: 9780262162098
书名: Types and Programming Languages
页数: 645
定价: USD 95.00
出版社: The MIT Press
装帧: Hardcover
出版年: 2002-2-1

去"Types and Programming Languages"的页面