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

25人参与评价  · · · · · ·

9.3

力荐
84.0%
推荐
4.0%
还行
8.0%
较差
0.0%
很差
4.0%

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

無王猶興

2020-07-29

刨沙艺术家

2020-07-23

最终还是迷失在iter-Cap, rec-Cap, ind-Cap中了。

emerald

2020-02-16

在看前面几章,犹如在看哲学书,尽是一些毫无意义的定义,满是一些脱裤子放屁的做法。 说是不能用recursion写function,那还玩个屁,于是强行定义了个iter-nat来用,可iter-nat他妈不recursive吗,最后出个rec-nat...再强加解释说这样做有什么什么好处好自圆其说,跟哲学家一个德行。Friedman的书很多都很喜欢,不过这本书讲述的理论,似乎不太行。放弃。

哦哦哦

2019-10-23

失业小码畜

2019-07-31      tags: 类型系统 计算机科学 Types

袋鼠张

2019-05-28

Steve Nova

2019-05-13

Very approachable introduction to dependent type.

jacklu

2019-11-05

ekd123

2019-02-20      tags: 计算机

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

流光

2019-05-17

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

南瓜

2019-07-23

Friedman神奇的风格,当小说来看了- -'''

Sam

2019-02-21

以前看完一部喜欢的长篇小说或者电视剧的时候都会多少有些失落。读完了这本关于编程的书之后竟然也有了类似的感觉。Friedman 的书都是有温度的。写了一篇算是读后感的东西,http://mxm.ink/post/2019-06-09-dependent-type/

Brandon’s

2019-12-11      tags: 计算机科学

jcoy

2019-01-09

'

2020-06-25

火星最强指挥官

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

信若然

2018-10-21

Duke

2019-05-21

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

一葉

2019-08-29      tags: CS 思想

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"的页面