读过"The Little Typer"的豆瓣成员

12人参与评价  · · · · · ·

力荐
91.7%
推荐
0.0%
还行
8.3%
较差
0.0%
很差
0.0%

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

Wooden

2019-05-28

Shumo

2019-05-13

Very approachable introduction to dependent type.

ekd123

2019-02-20      tags: 计算机科学 类型系统

很棒的书。循序渐进地带读者入门依赖类型。

流光

2019-05-17

语言略微繁琐,但全书从基本type开始,通过一个个小故事的叙述,引出dependent type是如何与theorem proving相辅相成,并在最后指出如何拓展Pie到一个成熟的theorem prover。喜欢!

Sam

2019-02-21

以前看完一部喜欢的长篇小说或者电视剧的时候都会多少有些失落。读完了这本关于编程的书之后竟然也有了类似的感觉。Friedman 的书都是有温度的。

jcoy

2019-01-09

火星最强指挥官

2019-02-07      tags: 类型系统 形式证明 依赖类型

信若然

2018-10-21

Duke

2019-05-21

打个五星吧。。。不过我只看了最后几章。。。

The Little Typer
作者: Daniel P. Friedman David Thrane Christiansen Duane Bibby Robert Harper Conor Mcbride
isbn: 9780262536431
书名: The Little Typer
页数: 424
定价: GBP 30.00
出版社: MIT Press
出版年: 2018-10-16
装帧: Paperback

去"The Little Typer"的页面